Heinz Wiesinger 63daf9f79a All: Support $PRINT_PACKAGE_NAME env var 3 éve
..
README c441188f8d academic/cryptominisat: Added (SAT solver). 6 éve
cryptominisat.SlackBuild 63daf9f79a All: Support $PRINT_PACKAGE_NAME env var 3 éve
cryptominisat.info 64172cd9f8 academic/cryptominisat: Updated for version 5.7.1. 4 éve
slack-desc c441188f8d academic/cryptominisat: Added (SAT solver). 6 éve

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.