SyGuS Lib parser and utils
Description

SyGuS Language Standard v2.1 parser with utils for using SyGuS solvers.

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