A parser for synthlib2 file format. This is the file format used in sygus.org
The project has two main branches:
master. Lightweight and stable version. It's based on the parser that we extracted from esolver.next. Collects more symbols data. It based on the official version synthlib2parser.
We depend on Boost program_options