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
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
.