|
Abstract : |
We have implemented a C++ library, called ILOG SOLVER, that embodies Constraint Logic Programming (CLP) concepts such as logical variables, incremental constraint satisfaction and backtracking. This library combines Object Oriented Programming (OOP) with CLP. This has two advantages. First of all, everything is an object in SOLVER: variables, constraints and search algorithms (goals). Thus, SOLVER is easily extendable by de ning new classes. Second, objects can be used for modeling the real problem that has to be solved, which is a great software engineering advantage. In particular, SOLVER provides for the de nition of class constraints, that are inherited by all the objects of that class. 1, |
