X
xcsp
CSP solver based on Sat4j complying with the XCSP 2.1 and 3.0 formats.
This Gitlab instance will be unavailable from Saturday 18th of May at 17:00 PM to Sunday 19th of May at 10:00 AM.
We are progressively migrating our services onto a new virtual machine, and as Gitlab is one of our most important service, we will proceed with care, hence the extended unavailability.
All gitlab webpages ( *.ow2.io ) will also be unavailable, gitlab-runners as well.
Thanks for your understanding.
CSP solver based on Sat4j complying with the XCSP 2.1 and 3.0 formats.