Fixed the parser to read line by line.
Merge branch 'linear-constraint-experiments' of https://github.com/uzh/wolf into linear-constraint-experiments
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