Release Name: Gecode/R 0.7.1

Notes:
This release adds boolean linear constraints.




Changes:
* Set domain constraints now checks illegal parameters when it's added (rather than when the search begins).
* Added boolean linear constraint.