public class SAT4JWithTimeoutFactory extends SATFactory
SAT4JWithTimeoutFactory()
SAT4JWithTimeoutFactory(long ms)
SATSolver
instance()
java.lang.String
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public SAT4JWithTimeoutFactory()
public SAT4JWithTimeoutFactory(long ms)
public SATSolver instance()
public java.lang.String toString()