package z3_tptp
TPTP front end for Z3 solver
Install
Dune Dependency
Authors
Maintainers
Sources
z3-4.11.2.tar.gz
sha512=be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a
sha256=e3a82431b95412408a9c994466fad7252135c8ed3f719c986cd75c8c5f234c7e
On This Page