[SCM] minisat+ packaging branch, master, updated. upstream/2011.05.10-8-gfd4f82b

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 6faabe29ad533ecf10f1709cdef6051db801c0a2
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue May 10 17:25:00 2011 +0200

    add first version of a manpage

diff --git a/debian/minisat+.1 b/debian/minisat+.1
new file mode 100644
index 0000000..268bcc8
--- /dev/null
+++ b/debian/minisat+.1
@@ -0,0 +1,89 @@
+.\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.39.2.
+.TH ERROR! "1" "May 2011" "ERROR! Invalid command line option: --version" "User Commands"
+.SH NAME
+ERROR! \- manual page for ERROR! Invalid command line option: --version
+.SH DESCRIPTION
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+MiniSat+ 1.0, based on MiniSat v1.13  \fB\-\-\fR (C) Niklas Een, Niklas Sorensson, 2005
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+USAGE: minisat+ <input\-file> [<result\-file>] [\-<option> ...]
+.SS "Solver options:"
+.TP
+\fB\-M\fR \fB\-minisat\fR
+Use MiniSat v1.13 as backend (default)
+.TP
+\fB\-S\fR \fB\-satelite\fR
+Use SatELite v1.0 as backend
+.TP
+\fB\-ca\fR \fB\-adders\fR
+Convert PB\-constrs to clauses through adders.
+.TP
+\fB\-cs\fR \fB\-sorters\fR
+Convert PB\-constrs to clauses through sorters.
+.TP
+\fB\-cb\fR \fB\-bdds\fR
+Convert PB\-constrs to clauses through bdds.
+.TP
+\fB\-cm\fR \fB\-mixed\fR
+Convert PB\-constrs to clauses by a mix of the above. (default)
+.TP
+\fB\-ga\fR/gs/gb/gm
+Override conversion for goal function (long name: \fB\-goal\-xxx\fR).
+.TP
+\fB\-w\fR \fB\-weak\-off\fR
+Clausify with equivalences instead of implications.
+.TP
+\fB\-bdd\-thres=\fR
+Threshold for prefering BDDs in mixed mode.        [def: 3]
+.TP
+\fB\-sort\-thres=\fR
+Threshold for prefering sorters. Tried after BDDs. [def: 20]
+.TP
+\fB\-goal\-bias=\fR
+Bias goal function convertion towards sorters.     [def: 3]
+.TP
+\fB\-1\fR \fB\-first\fR
+Don't minimize, just give first solution found
+.TP
+\fB\-A\fR \fB\-all\fR
+Don't minimize, give all solutions
+.TP
+\fB\-goal=\fR<num>
+Set initial goal limit to '<= num'.
+.TP
+\fB\-p\fR \fB\-pbvars\fR
+Restrict decision heuristic of SAT to original PB variables.
+.TP
+\fB\-ps\fR{+,\-,0}
+Polarity suggestion in SAT towards/away from goal (or neutral).
+.SS "Input options:"
+.TP
+\fB\-of\fR \fB\-old\-fmt\fR
+Use old variant of OPB file format.
+.SS "Output options:"
+.TP
+\fB\-s\fR \fB\-satlive\fR
+Turn off SAT competition output.
+.TP
+\fB\-a\fR \fB\-ansi\fR
+Turn off ANSI codes in output.
+.TP
+\fB\-v0\fR,\-v1,\-v2
+Set verbosity level (1 default)
+.TP
+\fB\-cnf=\fR<file>
+Write SAT problem to a file. Trivial UNSAT => no file written.
+.PP
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+.SH "SEE ALSO"
+The full documentation for
+.B ERROR!
+is maintained as a Texinfo manual.  If the
+.B info
+and
+.B ERROR!
+programs are properly installed at your site, the command
+.IP
+.B info ERROR!
+.PP
+should give you access to the complete manual.
diff --git a/debian/minisat+.manpages b/debian/minisat+.manpages
new file mode 100644
index 0000000..23189c7
--- /dev/null
+++ b/debian/minisat+.manpages
@@ -0,0 +1 @@
+debian/minisat+.1

-- 
minisat+ packaging