WIP Breeze implementation of linear constraint.
WIP Linear constraint optimizer.
Merge branch 'linear-constraint-experiments' of https://github.com/uzh/wolf into linear-constraint-experiments
Added tests for functional property.
Add more comments to LinearConstraintTerm.java and fix a small bug.
Merge branch 'linear-constraint-experiments' of https://github.com/uzh/wolf into linear-constraint-experiments
Fix LinearConstraintOptimizer in Scala and add smaller fixes here and there.
Fix to the linear constraint optimizer in Scala.
Revert some changes and fix some bugs.
Fixing the linear-constraint branch, preparing for a merge with master.
Fix >= vs == bug in LinearConstraintTerm.java