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.