https://github.com/crillab/nacre_mini

sort by:
Revision Author Date Message Commit Date
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