syguslib-utilsversion
SyGuS Lib parser and utils
SyGuS Language Standard v2.1 parser with utils for using SyGuS solvers.
| Author | Victor Nicolet |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/victornicolet/syguslib-utils |
| Issue Tracker | https://github.com/victornicolet/sygusllib-utils/issues |
| Maintainer | victor.nicolet@pm.me |
| Dependencies | |
| Source [http] | https://github.com/victornicolet/syguslib-utils/archive/0.1.tar.gz md5=de39b5e5e17f117298b0a05742a02049 sha512=d3fe43d1c76223c41f5894544c1f564ba1082aae72dd58085b60b1562048399e3971d0cbaad56f8d61bcfb35aaaca7b3eda8ace5111b233eaca4e46f004b825a |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/syguslib-utils/syguslib-utils.0.1/opam |
No package is dependent
