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.
- Webauftritt: https://github.com/Z3Prover/z3
- Lizenz: Expat
- Paketquellcode: maths.scm
- Patches: Keine
- Erstellungen: x86_64-linux, i686-linux