Welcome to ftp.nluug.nl Current directory: /pub/pub/os/Linux/distr/salix/sbo/14.2/academic/cvc4/

Current bandwidth utilization 1909.36 Mbit/s

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!