This project is an s-expression based parser as well as serializer for the SyGuS Language Standard v2.1. It also contains utilities to call solvers from OCaml programs.

syguslib-utils is written in OCaml and relies on the opam package manager. To install all the dependencies, type opam install . --deps-only from the root.

To build the project:

dune build

and to run the tests:

dune runtest

Usage

A quick way of parsing a SyGuS input is to use sexp_parse in the Parser module, for example:

program = Syguslib.Parser.sexp_parse "test/inputs/mpps_1.sl"

The documentation can be generated using dune build @doc.