Closed tBuLi closed 7 years ago
Only Eq, Ge, and Le constraints are allowed anymore. Le is negated in the background to become a Ge constraint. This fixes #99.
Only Eq, Ge, and Le constraints are allowed anymore. Le is negated in the background to become a Ge constraint. This fixes #99.