Welcome to ftp.vim.org, Hosted by ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/i486/extra-15.0/source/academic/cvc4/

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                                                                -   
 CVC4-1.8.tar.gz                                            04-Jun-2022 00:54  7.2M  
 README                                                     04-Jun-2022 00:54  525   
 antlr-3.4-complete.jar                                     21-Aug-2016 13:23  2.3M  
 cvc4.SlackBuild                                            11-Mar-2022 06:34  3.8K  
 cvc4.info                                                  04-Jun-2022 00:54  426   
 run-antlr                                                  04-Jun-2022 00:54   67   
 slack-desc                                                 04-Jun-2022 00:54  1.0K  

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!