Welcome to ftp.nluug.nl Current directory: /pub/ftp/os/Linux/distr/salix/x86_64/extra-15.0/source/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++, Python2, and Python3 APIs. |
Name Last modified Size
Parent Directory - README 04-Jun-2022 08:47 403 slack-desc 04-Jun-2022 08:47 1.0K z3-z3-4.8.12.tar.gz 04-Jun-2022 17:02 4.6M z3.SlackBuild 26-Mar-2022 03:02 3.7K z3.info 04-Jun-2022 08:47 300
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!