![]() |
Welcome to ftp.nluug.nl Current directory: /os/Linux/distr/salix/sbo/14.2/academic/cvc4/ |
|
Contents of README:CVC4 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. CVC4 supports arithmetic, reasoning about arrays, and several other built-in theories. Input problems are written in SMT-LIB format. This package includes the cvc4 program, libraries, and Python 2 bindings. Note that this SlackBuild builds CVC4 with readline support, which means the resulting executable is licensed under the GPLv3. |
Name Last modified Size
Parent Directory -
README 05-Sep-2020 03:31 525
cvc4.SlackBuild 05-Sep-2020 03:31 3.4K
cvc4.info 05-Sep-2020 03:31 417
run-antlr 27-Apr-2019 03:31 67
slack-desc 12-Jan-2020 02:55 1.0K
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!