A C++ Constraint Programming Library
Welcome to Naxos Solver, a library for an object-oriented
Constraint Programming environment implemented in C++. It
supports the statement of Constraint Satisfaction Problems
(CSPs) having constrained variables with finite domains
containing integers. Please read the
manual in order to use it.
Amorgos, a search methods library written by Foivos
Theocharis, is also included in the plugins directory.