← Back to branch summary

~ubuntu-branches/ubuntu/vivid/minisat+/vivid

« back to all changes in this revision

Viewing changes to debian/minisat+.1

  • Committer: Bazaar Package Importer
  • Author(s): Ralf Treinen
  • Date: 2011-05-24 20:42:23 UTC
  • Revision ID: james.westby@ubuntu.com-20110524204223-sdt10yuyrsdzby6m
Tags: 1.0-2
Patch exitcode: non-null exit code on parse error.

Show diffs side-by-side

added added

removed removed

Lines of Context:
debian/minisat+.1
87
87
\fB\-cnf=\fIfile\fR
88
88
Write SAT problem to a file \fIfile\fR. If the input problem is found to be
89
89
trivially unsatisfiable then no file is written.
90
 
.PP
 
90
 
 
91
.SH "EXIT CODES"
 
92
If parsing of the input fails then the program exits with exit code 5.
91
93
 
92
94
.SH AUTHORS
93
95
Minisat+ was written by Niklas Een and Niklas Sorensson.