Naxos Solver


Naxos Solver is a library for an object-oriented programming environment; it is implemented in C++. It allows the statement of Constraint Satisfaction Problems (CSPs) having constrained variables with finite domains containing integers. For more information, refer to its homepage.

Constraint Based Local Search

Our Naxos Solver Constraint Based Local Search (CBLS) system is available here, together with the source code used for the experiments conducted in our paper by Nikolaos Pothitos, George Kastrinis, and Panagiotis Stamatopoulos, titled Constraint Propagation as the Core of Local Search, presented in the 7th Hellenic Conference on Artificial Intelligence (SETN 2012) [PDF | Publisher | BibTeX | Presentation].

Source Code Compilation

The folder names describe the corresponding methods employed. Compilation is done using the command make successively in each folder—see README. For the constructive search method, we also included source code for the ECLiPSe constraint (logic) programming system.