syguslib-utils

SyGuS Lib parser and utils
Description

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

Install
Documentation status is unknown. Sorry about that.
Published
15 Dec 2021
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