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