BSD Portsmath/z3 4.8.13 DragonFly
Z3 Theorem Prover
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- MIT
- Categories
- math
- Package size
- 14561.4 KiB, 47165.3 KiB installed
Description
Z3 is a high-performance theorem prover developed at Microsoft Research.
WWW: https://github.com/Z3Prover/z3
In the other systems
Install
Binary package:
pkg install z3From DPorts:
cd /usr/dports/math/z3 && make install clean