automatic errordetection model summary
EUROPA Kernel
RuleEngine Solvers Plan
DatabaseConstraint
Engine
Client API
Built-in Extensions
TemporalNetwork
ResourcesReasoning
ChronologicalBacktracking
Solver
ConstraintLibrary
Modeling Language Support
(NDDL, ANML)
Client Application
Client Application
Client Application
Client Application
ModelInterpreter
EUROPA Framework