A C++ Constraint Programming Library
The new year comes with some bug fixes as presents :rocket:
Mostly internal continuous integration fixes
The directory structure has been cleaned up. We kept only the stable directories and instances.
This Naxos version can be compiled with the latest G++ versions (along with older ones, of course) or Visual Studio!
New constraints such as table constraints were introduced. In this way, Naxos Solver can participate to the 1st XCSP3 Competition.
With a complete Continuous Integration system, consistent coding style, and a simpler directory tree.