![]() |
Welcome to ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/sbo/14.2/academic/z3/ |
|
Contents of README:Z3 is an automated theorem prover and satisfiability modulo theories (SMT) solver. Given a formula in first-order logic, it attempts to either prove the formula or find a counterexample. Z3 supports arithmetic, reasoning about arrays, and several other built-in theories. Input problems are written in SMT-LIB format. This package includes the z3 program as well as the C++ and Python APIs. By default the Python 2 version of the API is built; if you also want the Python 3 version, run the SlackBuild with PYTHON3=yes, like so: PYTHON3=yes ./z3.SlackBuild |
Name Last modified Size
Parent Directory -
README 23-Mar-2019 04:05 561
slack-desc 12-Jan-2020 02:55 1.0K
z3.SlackBuild 12-Jan-2020 02:55 3.4K
z3.info 12-Jan-2020 02:55 285
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!