The Constraint Solver Collaboration Language of BALI.
Éric Monfroy · 1998
In order to deal with constraint solvers integration, re-usability, and cooperation, we have designed a domain independent environment for constraint solver collaboration (i.e., solver cooperation and solver combination) called BALI. This system allows one designing and implementing solver collaborations with a high-level language to compose solvers using collaboration primitives (such as sequentiality, concurrency and parallelism) and control primitives (such as iterator, fixedpoint and conditional). In this paper, we present the solver collaboration language of BALI, its operational semantics, some enrichments of the framework, an overview of the implementation, and some applications as well. 1 Introduction The need for solver collaboration, i.e., that is solver combination and cooperation, has been by now well recognized: several solvers collaborate to process constraints that cannot be solved (or efficiently solved) by a single solver. Informally, combination [ Nelson a...