Major features:
- add logical operator to expression (#520). Now it is possible, f-ex., to declare expression like:
x.eq(y.add(1)).or(x.eq(y).and(x.eq(1)))
- add new API to
Solver to print features in a single line
- enable ignoring passivate propagators when iterating over propagators of a modified variable (false by default; see Settings)
Deprecated API (to be removed in next release):
IPropagationEngine.fails(c,v,m) is replaced by Solver.throwsException(c,v,m) (#524)IPropagationEngine.getContradictionException() is replaced by Solver.getContradictionException() (#524)MathUtils.bounds(values) is replaced by a call to MathUtils.min(values) and MathUtils.max(values)
Remove dead code:
- SparseSet
- IFeatures, Features, IAttribute and Attribute
Closed issues and pull requests:
#516, #517, #518, #519, #520, #521, #524.
