| 3f02e6c | Gaël Glorian | 06 June 2018, 07:50:02 UTC | Fix to avoid marking domain constraint as reason during locking | 06 June 2018, 07:50:02 UTC |
| 9973673 | Gaël Glorian | 05 June 2018, 08:40:41 UTC | Makefile updated to compile lib by default | 05 June 2018, 08:40:41 UTC |
| a525ce7 | Gaël Glorian | 04 June 2018, 12:52:26 UTC | Updated assert in ConstraintWeightedSumGE (no positive coefficients) | 04 June 2018, 12:52:26 UTC |
| 60034b4 | Gaël Glorian | 28 May 2018, 11:46:10 UTC | Fix rare bug in conflict analysis | 28 May 2018, 11:46:10 UTC |
| 46e267e | Gaël Glorian | 28 May 2018, 11:45:08 UTC | Fix for useless vars | 28 May 2018, 11:45:08 UTC |
| 64bb119 | Gaël Glorian | 28 May 2018, 11:41:06 UTC | Fix for ConstraintWeightedSumLE/GE | 28 May 2018, 11:41:06 UTC |
| 19ccb47 | Gaël Glorian | 22 May 2018, 14:39:57 UTC | Bugfix (deletion functions called without the associated constraint) | 22 May 2018, 14:39:57 UTC |
| bb7e9a3 | Gaël Glorian | 22 May 2018, 14:38:52 UTC | Removed SaveExpl option | 22 May 2018, 14:38:52 UTC |
| 3e844a5 | Gaël Glorian | 22 May 2018, 13:20:21 UTC | Explanations enabled during parsing (bugfix) | 22 May 2018, 13:20:21 UTC |
| c537321 | Gaël Glorian | 22 May 2018, 12:51:09 UTC | Bugfix in element constraint | 22 May 2018, 12:51:09 UTC |
| 0a6c034 | Gaël Glorian | 14 May 2018, 07:45:33 UTC | Better README | 14 May 2018, 07:45:33 UTC |
| 10b171a | Gaël Glorian | 07 May 2018, 16:07:40 UTC | Initial commit | 07 May 2018, 16:07:40 UTC |
