mschlund/newton — pull request #25 by michalt (2013-03-12 15:36:49+00:00)
Title: Semilinear improvements

This contains the fix for the simplification bug, as well as many performance improvements, rewrite of ```var.{h,cpp}``` and a general overhaul of the semilinear sets. What still remains to be done is to have a more flexible CLI interface that allows you to use different simplifiers...