Skip to content
A C++ Constraint Programming Library 🔆
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
apps
core
manual
plugins
.clang-format
.codedocs
.doxyfile
.gitignore
.travis.yml
CREDITS
LICENSE
README.md
appveyor.yml

README.md

Naxos Solver Build Status Visual Studio build status

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 [BibTeX].

Amorgos, a search methods library written by Foivos Theocharis, is also included in the plugins directory.

You can’t perform that action at this time.