[SCM] minisat+ packaging branch, master, updated. upstream/2011.05.10-14-g572421b

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 415e73b9fbcb7f3dc1bbc4195baa339445b66b4e
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed May 11 15:34:47 2011 +0200

    improve long package description

diff --git a/debian/control b/debian/control
index 3757c9b..5353c05 100644
--- a/debian/control
+++ b/debian/control
@@ -13,4 +13,11 @@ Package: minisat+
 Architecture: any
 Depends: ${misc:Depends}, ${shlibs:Depends}
 Description: solver for pseudo_Boolean constraints
- MiniSat+ is a solver for Pseudo-Boolean constraints.
+ Pseudo-Boolean constraints can be used to describe certain kinds of 
+ combinatorial optimization problems. Variables are Boolean, that is
+ can take as values only 0 or 1. (In-)equations used in hard constraints
+ and objective functions, however, may use arbitrary integer coefficients.
+ Minisat+ is tool to solve Pseudo-Boolean constraints, derived from the
+ Minisat SAT-solver.
+
+ This version of Minisat+ is compiled with bignum support.

-- 
minisat+ packaging