pbsugar
Class PBSugar
java.lang.Object
pbsugar.PBSugar
public class PBSugar
- extends Object
verboseLevel
public static int verboseLevel
pbFileName
public String pbFileName
varsSet
public SortedSet<String> varsSet
encoder
public PBEncoder encoder
satSolverName
public String satSolverName
miniSat
public boolean miniSat
satFileName
public String satFileName
mapFileName
public String mapFileName
outFileName
public String outFileName
verify
public boolean verify
debug
public int debug
PBSugar
public PBSugar()
info
public static void info(String message)
fine
public static void fine(String message)
status
public static void status()
encode
public int encode()
throws IOException
- Throws:
IOException
saveMap
public void saveMap(int variables)
throws IOException
- Throws:
IOException
solve
public Set<String> solve(int variables)
throws IOException,
InterruptedException
- Throws:
IOException
InterruptedException
decode
public Set<String> decode()
throws IOException
- Throws:
IOException
verify
public void verify(Set<String> pbSolution)
throws IOException
- Throws:
IOException
verifyPbOutput
public void verifyPbOutput(String pbFileName,
String pbOutFileName)
throws IOException
- Throws:
IOException
main
public static void main(String[] args)
PBSugar: SAT-based Pseudo Boolean Constraint Solver