academic/cryptominisat: Added (SAT solver).

Signed-off-by: David Spencer <idlemoor@slackbuilds.org>

1 files changed, 19 insertions, 0 deletions

diff --git a/academic/cryptominisat/slack-desc b/academic/cryptominisat/slack-desc
new file mode 100644
index 0000000000..2837ad1141
--- /dev/null
+++ b/academic/cryptominisat/slack-desc
@@ -0,0 +1,19 @@
+# HOW TO EDIT THIS FILE:
+# The "handy ruler" below makes it easier to edit a package description.
+# Line up the first '|' above the ':' following the base package name, and
+# the '|' on the right side marks the last column you can put a character in.
+# You must make exactly 11 lines for the formatting to be correct.  It's also
+# customary to leave one space after the ':' except on otherwise blank lines.
+
+             |-----handy-ruler------------------------------------------------------|
+cryptominisat: cryptominisat (SAT solver)
+cryptominisat:
+cryptominisat: This system provides CryptoMiniSat, an advanced SAT solver. The system
+cryptominisat: has 3 interfaces: command-line, C++ library and python. The
+cryptominisat: command-line interface takes a cnf as an input in the DIMACS format
+cryptominisat: with the extension of XOR clauses. The C++ interface mimics this
+cryptominisat: except that it allows for a more efficient system, with assumptions
+cryptominisat: and multiple solve() calls. A C compatible wrapper is also
+cryptominisat: provided. The python interface provides a high-level yet efficient API
+cryptominisat: to use most of the C++ interface with ease.
+cryptominisat: