All Packages
Package Summary
Package
Description
The
fr.univartois.cril.juniverse.config
package provides classes and interfaces
allowing to finely configure a solver.The
fr.univartois.cril.juniverse.core
package provides classes and interfaces
common to all kinds of constraint solvers.The
fr.univartois.cril.juniverse.core.problem
package provides the
representation of a constraint problem.The
fr.univartois.cril.juniverse.csp
package provides the classes for solving
CSP problems.The
fr.univartois.cril.juniverse.csp.intension
package provides the classes for
representing intension constraints.The
fr.univartois.cril.juniverse.csp.operator
package provides the classes
representing the operators used in constraints.The
fr.univartois.cril.juniverse.listener
package provides interfaces
for listening to the search events occurring in the solver.The
fr.univartois.cril.juniverse.optim
package provides the classes for solving
optimization problems.The
fr.univartois.cril.juniverse.pb
package provides the classes for solving
pseudo-Boolean problems.The
fr.univartois.cril.juniverse.sat
package provides the classes for solving
SAT problems.The
fr.univartois.cril.juniverse.utils
package provides utility classes for
JUniverse implementations.