syguslib-utils
SyGuS Lib parser and utils
README
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
.
Install
- Published
-
15 Dec 2021
- Authors
-
- Maintainers
-
Sources
0.1.tar.gz
md5=de39b5e5e17f117298b0a05742a02049
sha512=d3fe43d1c76223c41f5894544c1f564ba1082aae72dd58085b60b1562048399e3971d0cbaad56f8d61bcfb35aaaca7b3eda8ace5111b233eaca4e46f004b825a
Dependencies
core
>= "v0.14.0" & < "v0.15"
sexplib
>= "v0.14.0" & < "v0.15"
stdio
>= "v0.14.0" & < "v0.15"
parsexp
>= "v0.14.0" & < "v0.15"
odoc
>= "1.5"
lwt_ppx
>= "2.0"
lwt
>= "5.4.0"
getopt
>= "20120615"
fmt
>= "0.8.8"
fileutils
>= "0.6"
base
>= "v0.14.0" & < "v0.15"
dune
>= "2.9"
Reverse Dependencies