CNF, Solver

Satchmo.Data und Satchmo.Solve

• Datentypen für Literal, Klausel, Formel
• Renderer für Dimacs-Format
• Aufruf eines externen Solvers (minisat)
• Parser für Ausgabe des Solvers