BSD Portsmath/z3 4.14.0 NetBSD
The Z3 theorem prover / SMT solver
- System
- NetBSD
- Repository
- pkgsrc
- License
- mit
- Categories
- math
- Package size
- 15368.8 KiB, 50873.6 KiB installed
Description
z3 is an open source theorem prover / SMT solver from Microsoft Research.
(SMT stands for "satisfiability modulo theories".)
In the other systems
Install
Binary package:
pkgin install z3From pkgsrc:
cd /usr/pkgsrc/math/z3 && make install clean