Notes:
This release adds search statistics along with some new arithmetic constraints
and channel constraints between boolean and integer variables.
Changes:
* Wrapping an enumerable that is already wrapped is no longer allowed.
* Added search statistics.
* Added squared value and square root constraints.
* Added channel constraints between single integer variables and boolean variables.
* Added channel constraints between enumerations of boolean variables and single integer variables.
|
