net.sf.javailp
Class SolverFactoryMiniSat

java.lang.Object
  extended by net.sf.javailp.AbstractSolverFactory
      extended by net.sf.javailp.SolverFactoryMiniSat
All Implemented Interfaces:
SolverFactory

public class SolverFactoryMiniSat
extends AbstractSolverFactory

The SolverFactoryMiniSat is a SolverFactory for MiniSat+.


Constructor Summary
SolverFactoryMiniSat()
           
 
Method Summary
 
Methods inherited from class net.sf.javailp.AbstractSolverFactory
get, getParameters, setParameter
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SolverFactoryMiniSat

public SolverFactoryMiniSat()