Decomposed expression will be given the encoding of the parent.
get_min and get_max for Neg().
In additionEncoder, use direct before order if both are allowed.
Tests for SAT encodings of binary domains.
Fix for binary domains when calling less_or_equal().
debug output in disequalityEncoder.
Neg(var) in XCSP parse instead of -var.
Support for multiplication predicate X * Y == Z.
Fix a bug where the inconsistent values for Z in X + Y == Z are not encoded if Z has values for which do not occur for any X + Y assignment. Only applies to when only the order encoding is used.
Tests for SAT encoding of multiplication predicate and addition predicate with gaps in domain.
Proper support for SAT encoding of Abs(X).
XCSPParse give the proper Abs object instead of its decomposition.
Add ability to use Ladder AMO encoding.
Need to add the chaining clauses for newly created auxiliary variables in ladder AMO encoding.
Spelling typo in error message.
Ladder encoding for AllDiff.
SAT Makefiles describe the action and hide the command being run.
Remove EncodingConfiguration overloading the << operator in place of .display(ostream) since swig does not like it.
Remove debug line.
Change call to EncodingConfiguration::display() in its class constructor.
Add alldiff_encoding to the hash, eq and str of the python EncodingConfiguration class.