PBSugar version 1.1.1 Core API Specification

pbsugar.sat
Class Solver

java.lang.Object
  extended by pbsugar.sat.Solver

public class Solver
extends Object


Field Summary
 String outFileName
           
 Boolean result
           
 String satFileName
           
 String satSolverName
           
 BitSet solution
           
 
Constructor Summary
Solver(String satSolverName, String satFileName)
           
Solver(String satSolverName, String satFileName, String outFileName)
           
 
Method Summary
 BitSet solve()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

satSolverName

public String satSolverName

satFileName

public String satFileName

outFileName

public String outFileName

result

public Boolean result

solution

public BitSet solution
Constructor Detail

Solver

public Solver(String satSolverName,
              String satFileName,
              String outFileName)

Solver

public Solver(String satSolverName,
              String satFileName)
Method Detail

solve

public BitSet solve()
             throws IOException,
                    InterruptedException
Throws:
IOException
InterruptedException

PBSugar version 1.1.1 Core API Specification

PBSugar: SAT-based Pseudo Boolean Constraint Solver