org.metacsp.multi.symbols (   The Meta-CSP FrameworkA Java API for Meta-CSP based reasoning)

Meta-CSP Framework API

Class Summary
Class	Description
SymbolicValueConstraint
SymbolicVariable
SymbolicVariableConstraintSolver

Enum Summary
Enum	Description
SymbolicValueConstraint.Type

Meta-CSP Framework API

Package org.metacsp.multi.symbols