z3 4.8.8 Theorem prover
Z3 is a theorem prover and satisfiability modulo theories (SMT) solver. It provides a C/C++ API, as well as Python bindings.
- Website: https://github.com/Z3Prover/z3
- License: Expat
- Package source: maths.scm
- Patches: None
- Builds: x86_64-linux, i686-linux