Age | Commit message (Expand) | Author |
---|---|---|
2014-10-28 | Add support for binary/integer contraints; | Justin Bedo |
2014-10-27 | Improve computational complexity of varTerms by rewriting equations. | Justin Bedo |
2014-10-08 | Fix up FFI exports; fix cabal file; tidy source | Justin Bedo |
2014-10-07 | Added LPSolve as a solver | Justin Bedo |
2014-10-06 | Initial implementation of EDSL and LP output formatter | Justin Bedo |