Uses of Class
org.sat4j.minisat.constraints.MixedDataStructureDanielWL

Packages that use MixedDataStructureDanielWL

Package	Description
org.sat4j.minisat	Implementation of the MiniSAT specification in Java.

Uses of MixedDataStructureDanielWL in org.sat4j.minisat

Methods in org.sat4j.minisat that return types with arguments of type MixedDataStructureDanielWL

Modifier and Type	Method and Description
static ICDCL<MixedDataStructureDanielWL>	SolverFactory.newBackjumping()