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