smtlib-utilsversion Documentation on ocaml.org
Parser for SMTLIB2
| Tags | SMTLIB smt2 parse logic |
|---|---|
| Author | Simon Cruanes |
| Published | |
| Homepage | https://github.com/c-cube/smtlib-utils/ |
| Issue Tracker | https://github.com/c-cube/smtlib-utils/issues |
| Maintainer | simon.cruanes.2007@m4x.org |
| Dependencies | |
| Source [http] | https://github.com/c-cube/smtlib-utils/archive/v0.3.tar.gz md5=c3ab27ea094abd7ce9ffa9cc6110fca5 sha512=aea21801afcce3519e85de22df15c50f11812aa556cf1f2b4b24bcd35f61d88e60ecf982339cd792abfa21976f5051d17ad555f8e501a71ee806b1fbc15ddf89 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/smtlib-utils/smtlib-utils.0.3/opam |
No package is dependent
