Releases: pothitos/naxos
Releases · pothitos/naxos
Release list
Naxos Thesis
Naxos 2021
Naxos 2020
Naxos 2019
The new year comes with some bug fixes as presents 🚀
Naxos solid 2018
Mostly internal continuous integration fixes
Naxos solid
The directory structure has been cleaned up. We kept only the stable directories and instances.
Cross-compiler compatible
This Naxos version can be compiled with the latest G++ versions (along with older ones, of course) or Visual Studio!
Mini-solver
New constraints such as table constraints were introduced. In this way, Naxos Solver can participate to the 1st XCSP3 Competition.
Naxos with classic constraints
v1.0.3 Implement unary extensional constraint
Naxos reviewed
With a complete Continuous Integration system, consistent coding style, and a simpler directory tree.