net.sf.javailp
Class SolverFactorySAT4J

java.lang.Object
  net.sf.javailp.AbstractSolverFactory
      net.sf.javailp.SolverFactorySAT4J

All Implemented Interfaces:

SolverFactory

public class SolverFactorySAT4J
extends AbstractSolverFactory

The SolverFactoryCPLEX is a SolverFactory for SAT4J.

Constructor Summary

SolverFactorySAT4J()

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

SolverFactorySAT4J

public SolverFactorySAT4J()