package z3_tptp
No build information
TPTP front end for Z3 solver
Install
dune-project
Dependency
Authors
Maintainers
Sources
z3-4.11.2.tar.gz
sha512=be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a
sha256=e3a82431b95412408a9c994466fad7252135c8ed3f719c986cd75c8c5f234c7e
Description
Added to opam-repository:
Dev Dependencies
None
Optional Dependencies
None
Used by
None
Conflicts
None
Build status
check.ci.ocaml.org has no results for any version of z3_tptp in its run of against opam-repository 8a77e58. check.ci only builds the packages that opam can install on its Linux image (Debian, x86_64). It leaves out packages for other systems, packages whose system library is missing from that image, and the packages that depend on them.