Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package org.opt4j.satdecoding.sat4j

Provides classes for solving (0-1) ILPs using the SAT4J package.

See:
          Description

Class Summary
SAT4JModule The SAT4JModule enables and configures the SAT4JSolver.
SAT4JSolver The SAT4JSolver implements a Solver.
VariableOrder A VariableOrder implementation for the SAT4J interface.
 

Enum Summary
SAT4JSolver.Learning  
SAT4JSolver.Restarts  
 

Package org.opt4j.satdecoding.sat4j Description

Provides classes for solving (0-1) ILPs using the SAT4J package.

Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES