Age | Commit message (Collapse) | Author | |
---|---|---|---|
2014-11-11 | Correct bug with fractional handlingHEADmaster | Justin Bedo | |
2014-11-01 | Benchmarking & optimisations | Justin Bedo | |
2014-10-28 | Add support for binary/integer contraints; | Justin Bedo | |
Change to hash maps to speed up variable LUT for large number of variables. | |||
2014-10-27 | Improve computational complexity of varTerms by rewriting equations. | Justin Bedo | |
2014-10-23 | Added documentation. | Justin Bedo | |
2014-10-23 | Merged files | Justin Bedo | |
2014-10-08 | Fix up FFI exports; fix cabal file; tidy source | Justin Bedo | |
2014-10-06 | Bugfix in bound rendering | Justin Bedo | |
2014-10-06 | Initial implementation of EDSL and LP output formatter | Justin Bedo | |