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

CryptoMiniSat SAT solver

This system provides CryptoMiniSat, an advanced SAT solver. The system
has 3 interfaces: command-line, C++ library and python. The command-line
interface takes a cnf as an input in the DIMACS format with the
extension of XOR clauses. The C++ interface mimics this except that it
allows for a more efficient system, with assumptions and multiple
solve() calls. A C compatible wrapper is also provided. The python
interface provides a high-level yet efficient API to use most of the C++
interface with ease.

 Name                                                       Last modified      Size  
 Parent Directory                                                                -   
 README                                                     04-Jun-2022 00:51  532   
 cryptominisat-5.7.1.tar.gz                                 04-Jun-2022 00:51  862K  
 cryptominisat.SlackBuild                                   11-Mar-2022 06:34  3.4K  
 cryptominisat.info                                         04-Jun-2022 00:51  333   
 slack-desc                                                 04-Jun-2022 00:51  1.2K  

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