[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 85b3bb07b728617ca3bff38107411e154698612f
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed May 11 15:44:04 2011 +0200

    fix whatis entry, say a bit more in the section on Description

diff --git a/debian/minisat+.1 b/debian/minisat+.1
index 2b6ad1a..10a50b4 100644
--- a/debian/minisat+.1
+++ b/debian/minisat+.1
@@ -1,10 +1,16 @@
-.TH "minisat+" "1" "May 2011" "Debian"
+.TH "MINISAT+" 1
 .SH NAME
-minisat+
+minisat+ \- A Solver for Pseudo-Boolean Constraints
 
 .SH DESCRIPTION
 MiniSat+ is a solver for Pseudo-Boolean constraints, based on MiniSat.
 
+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.
+
 .SH
 USAGE:
 minisat+ <input\-file> [<result\-file>] [\-<option> ...]

-- 
minisat+ packaging