fix bug with no sol
use alldiff AC by default
Merge branch 'feature-fixrec' into develop
update PropEqual...#isEntailed()
Merge branch 'feature-ama' into develop
update mysql queries + reified propagators react on fine evts
Merge branch 'feature-sql' into develop
Fixed match method.
add test
add test
Add a new test on reification
update the way LNS is defined.
add weak BC version of AllDiff
Merge branch 'feature-AD_BC' into develop
Merge branch 'develop' into feature-lns
fix LF
default settings
fix
change monitor list

linked list -> array list
(because of get operations)
minor