Robert Rendell
Department of Computer Science,
Monash University,
Clayton 3168, Australia.
rendell@cs.monash.edu.au
This paper describes a system utilising a novel approach to solving constraints. A manager administers the exchange of information with specialised solvers, each of which has a different domain of expertise. The manager, while not actually knowing anything about the domains beyond the syntaxes submitted by the solvers, coordinates the computation and draws the results together in an attempt to solve the constraints presented to it.
The system executes more slowly than systems based on more traditional approaches, but has definite advantages in terms of flexibility and extensibility.