Andrew Clemons b2519f95fd various: Use zulu jdk builds for REQUIRES. 2 anos atrás
..
README 3d9cd787ed academic/cvc4: Updated for version 1.8. 4 anos atrás
cvc4.SlackBuild 63daf9f79a All: Support $PRINT_PACKAGE_NAME env var 3 anos atrás
cvc4.info b2519f95fd various: Use zulu jdk builds for REQUIRES. 2 anos atrás
run-antlr 72c1e1abd1 academic/cvc4: Add missing run-antlr. 5 anos atrás
slack-desc 5ae81d7905 academic/cvc4: Fix slack-desc. 4 anos atrás

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.