Add minisat port - a lightweight SAT solver.

1 files changed, 20 insertions, 0 deletions

diff --git a/math/minisat/pkg-descr b/math/minisat/pkg-descr
new file mode 100644
index 000000000000..1195f6c9cd87
--- /dev/null
+++ b/math/minisat/pkg-descr
@@ -0,0 +1,20 @@
+MiniSat is a minimalistic, open-source SAT solver, developed to help
+researchers and developers alike to get started on SAT. It is released under
+the MIT licence, and is currently used in a number of projects.
+
+Some key features of MiniSat:
+
+- Easy to modify. MiniSat is small and well-documented, and possibly also
+well-designed, making it an ideal starting point for adapting SAT based
+techniques to domain specific problems.
+
+- Highly efficient. Winning all the industrial categories of the SAT 2005
+competition, MiniSat is a good starting point both for future research in SAT,
+and for applications using SAT.
+
+- Designed for integration. MiniSat supports incremental SAT and has
+mechanisms for adding non-clausal constraints. By virtue of being easy to
+modify, it is a good choice for integrating as a backend to another tool, such
+as a model checker or a more generic constraint solver. 
+
+WWW: http://minisat.se/