Uses of Interface
org.sat4j.minisat.core.ILits23

Packages that use ILits23

org.sat4j.minisat	Implementation of the MiniSAT specification in Java.
org.sat4j.minisat.constraints.cnf	Implementations of clausal contraints.

Uses of ILits23 in org.sat4j.minisat

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

static Solver<ILits23>	SolverFactory.newMini3SAT()
static Solver<ILits23>	SolverFactory.newMini3SATb()
static Solver<ILits23>	SolverFactory.newMiniLearning23()
static Solver<ILits23>	SolverFactory.newMiniSAT23()
static Solver<ILits23>	SolverFactory.newMiniSAT23Heap()

Uses of ILits23 in org.sat4j.minisat.constraints.cnf

Classes in org.sat4j.minisat.constraints.cnf that implement ILits23

class

Lits23