Module fr.univartois.cril.juniverse

module fr.univartois.cril.juniverse

The fr.univartois.cril.juniverse module provides universal interfaces for solving constraint problems.

Packages

Exports

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

Services

Uses

Type

Description

IUniverseSolverFactory

The IUniverseSolverFactory defines an abstract factory for instantiating solvers implementing different interfaces.