Internally, Constraints are now represented by using LeZero, GeZero, EqZero, NeZero, Bool, and Not (Until 1.0.2, all of constraints are represented by using only LeZero, Bool, Not).
Addition to OrderEncoder, NativeEncoder is now available, which directly passes Boolean cardinality constraints to Sat4j without SAT encoding.
This version introduces many Sat4j configurations: “MiniLearningHeap”, “MiniLearningHeapEZSimp”, “Glucose21”, “BestWL”, “BestHT”, “SAT”, “UNSAT”, “greedy” etc
You can use it by defining SAT solvers like: new Sat4j(“MiniLearningHeap”)