We are hiring ! See our job offers.
https://github.com/crillab/nacre_mini
Revision 3f02e6c4bf356b9a62a565be2bc4e39c2fcbcbe4 authored by Gaël Glorian on 06 June 2018, 07:50:02 UTC, committed by Gaël Glorian on 06 June 2018, 07:50:02 UTC
1 parent 9973673
History
Tip revision: 3f02e6c4bf356b9a62a565be2bc4e39c2fcbcbe4 authored by Gaël Glorian on 06 June 2018, 07:50:02 UTC
Fix to avoid marking domain constraint as reason during locking
Tip revision: 3f02e6c
File Mode Size
XCSP3-CPP-Parser-master
core
.gitignore -rw-r--r-- 128 bytes
LICENCE -rw-r--r-- 35.0 KB
README.md -rw-r--r-- 1.6 KB

README.md

back to top