All Classes and Interfaces

Classes

Class	Description
AceHead	The AceHead is a specialization of ACE's Head that allows to interact with the solver, and especially to add constraints into it using an API rather than an input XCSP3 file.
AceSolverFactory	The AceSolverFactory allows to instantiate ACE solvers as JUniverse solvers.
AceSolverFactorySingleSolution	The AceSolverFactorySingleSolution
JUniverseAceDomainAdapter	The JUniverseAceDomainAdapter
JUniverseAceProblemAdapter	The JUniverseAceProblemAdapter adapts a Head (and a Problem) from ACE to the IUniverseCSPSolver interface.
JUniverseVariableAceAdapter	The JUniverseVariableAceAdapter
Main	The Main
PreprocAceSolverFactory	The PreprocAceSolverFactory
XCSP3Reader	The XCSP3Reader is a Reader that allows to feed an XCSP3 instance to an IUniverseCSPSolver.