Bugfix: variables in obj but not a constraint caused missing key lookups
Added timout option for lp_solve
Improve computational complexity of varTerms by rewriting equations.
Add support for binary/integer contraints;
Change to hash maps to speed up variable LUT for large number of
variables.
Bugfix: alignment of variables in solution was incorrect