Examples of org.sat4j.tools.DimacsOutputSolver

org.sat4j.tools.DimacsOutputSolver
Solver used to display in a writer the CNF instance in Dimacs format. That solver is useful to produce CNF files to be used by third party solvers. @author leberre

    public ISolver lightSolver() {
        return newLight();
    }


    public static ISolver newDimacsOutput() {
        return new DimacsOutputSolver();
    }

View Full Code Here

TOP

Related Classes of org.sat4j.tools.DimacsOutputSolver

org.sat4j.minisat.SolverFactory

java.io.PrintWriter

org.sat4j.specs.TimeoutException

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.