Python binding for Z3 Theorem Prover
Python binding for Z3, a high-performance theorem prover developed at Microsoft Research.
$
pkg install py311-z3-solverOrigin
math/py-z3-solver
Size
626KiB
License
MIT
Maintainer
yuri@FreeBSD.org
Dependencies
2 packages
Required by
2 packages