Welcome to ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/i486/extra-15.0/source/academic/cryptominisat/ |
|
Contents of README: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!