diff options
author | Alan Aversa | 2018-09-14 10:26:36 +0200 |
---|---|---|
committer | David Spencer | 2018-09-14 10:26:36 +0200 |
commit | c441188f8df3d180729f58dcc7f882a738cf4a42 (patch) | |
tree | 2c0c92ca74c8f32415b6684d5fb78a7c197fad4f /academic/cryptominisat/README | |
parent | 75f3f030e1844487aae7a4ad69e1482ca782118b (diff) | |
download | slackbuilds-c441188f8df3d180729f58dcc7f882a738cf4a42.tar.gz |
academic/cryptominisat: Added (SAT solver).
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'academic/cryptominisat/README')
-rw-r--r-- | academic/cryptominisat/README | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/academic/cryptominisat/README b/academic/cryptominisat/README new file mode 100644 index 0000000000..e87a6c10a4 --- /dev/null +++ b/academic/cryptominisat/README @@ -0,0 +1,10 @@ +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. |