... int) int howmany
StringBuffer out
public void setExpectedNumberOfClauses (int) int nb
public org.sat4j.pb.ObjectiveFunction getObjectiveFunction () public ...
... .specs.ISolver solver
public void setExpectedNumberOfClauses (int) int nb
public int getExpectedNumberOfClauses () public boolean admitABetterSolution () throws org.sat4j ...