Module org.chocosolver.solver

Package org.chocosolver.sat

Interface Summary

Interface	Description
Dimacs
Literalizer	This abstract class makes possible to maintain relationships between a CP variable and a SAT variable.
SatFactory	This interface defines modelling API for MiniSat.

Class Summary

Class	Description
Literalizer.BoolLit
Literalizer.IntEqLit
Literalizer.IntLeLit
Literalizer.SetInLit
MiniSat	A MiniSat solver.
MiniSat.Clause	Clause -- a simple class for representing a clause
SatDecorator

Enum Summary

Enum	Description
MiniSat.Boolean	(or-tools, booleans.cc, ty L.