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.
Maintained by: Alan Aversa
Keywords: SAT,satisfiability,sat solver,verification,cryptography,cnf,xor
ChangeLog: cryptominisat
Homepage:
https://www.msoos.org/cryptominisat5/
Download SlackBuild:
cryptominisat.tar.gz
cryptominisat.tar.gz.asc (FAQ)
(the SlackBuild does not include the source)
Individual Files: |
README |
cryptominisat.SlackBuild |
cryptominisat.info |
slack-desc |
© 2006-2023 SlackBuilds.org Project. All rights reserved.
Slackware® is a registered trademark of
Patrick Volkerding
Linux® is a registered trademark of
Linus Torvalds