We are hiring ! See our job offers.
https://github.com/crillab/nacre_mini

sort by:
Revision Author Date Message Commit Date
221f423 keepOnlyValues bypass fix 17 June 2019, 12:01:24 UTC
823862a Update README.md 01 September 2018, 09:39:32 UTC
3f02e6c Fix to avoid marking domain constraint as reason during locking 06 June 2018, 07:50:02 UTC
9973673 Makefile updated to compile lib by default 05 June 2018, 08:40:41 UTC
a525ce7 Updated assert in ConstraintWeightedSumGE (no positive coefficients) 04 June 2018, 12:52:26 UTC
60034b4 Fix rare bug in conflict analysis 28 May 2018, 11:46:10 UTC
46e267e Fix for useless vars 28 May 2018, 11:45:08 UTC
64bb119 Fix for ConstraintWeightedSumLE/GE 28 May 2018, 11:41:06 UTC
19ccb47 Bugfix (deletion functions called without the associated constraint) 22 May 2018, 14:39:57 UTC
bb7e9a3 Removed SaveExpl option 22 May 2018, 14:38:52 UTC
3e844a5 Explanations enabled during parsing (bugfix) 22 May 2018, 13:20:21 UTC
c537321 Bugfix in element constraint 22 May 2018, 12:51:09 UTC
0a6c034 Better README 14 May 2018, 07:45:33 UTC
10b171a Initial commit 07 May 2018, 16:07:40 UTC
back to top