Tags: crillab/nacre_mini

keepOnlyValues bypass fix

Fix to avoid marking domain constraint as reason during locking

Makefile updated to compile lib by default

Fix rare bug in conflict analysis

Bugfix (deletion functions called without the associated constraint)

Initial commit