An event-based architecture for solving constraint satisfaction problems.

An event-based architecture for solving constraint satisfaction problems.