Require the two properties to have same dimension in tryCompare.
Add isConstant to LinearForm.
Add Mockito support in the SBT definition.
Add support for numeric expressions and assignments.
Overhaul linear expressions and conditions parsers.
Add parser for numeric expressions.
Generalize LTS target to use NumericExpression.
Generalize LinearCond to use NumericExpression.
Add Faster support for LTS.