[[sat4j-dev]] [ sat4j-Feature Requests-309020 ] Create and OPBOutputSolver similar to DimacsOutputSolver

[<noreply@xxxxxxxxxxxxxxxxxxx>]

Feature Requests item #309020, was opened at 03/04/2008 22:40
You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350292&aid=309020&group_id=228

Category: PB
Group: Next Release (example)
Status: Open
Priority: 5
Submitted By: Daniel Le Berre (leberre)
Assigned to: Anne Parrain (parrain)
Summary: Create and OPBOutputSolver similar to DimacsOutputSolver

Initial Comment:
It is often useful to be able to display in a file or on the default output
stream the problem in a standard way.

The DimacsOutputSolver is a specific SAT solver displays the clauses entered
into the solver to be displayed on a given PrintWriter in the Dimacs format:
http://www.sat4j.org/doc/core/org/sat4j/tools/DimacsOutputSolver.html

A similar tool is needed in the PB library to display the content of an
IPBSolver in the OPB format.

----------------------------------------------------------------------

You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350292&aid=309020&group_id=228