aboutsummaryrefslogtreecommitdiff
path: root/default.nix
AgeCommit message (Expand)Author
2014-11-01Benchmarking & optimisationsJustin Bedo
2014-10-28Add support for binary/integer contraints;Justin Bedo
2014-10-27Improve computational complexity of varTerms by rewriting equations.Justin Bedo
2014-10-08Fix up FFI exports; fix cabal file; tidy sourceJustin Bedo
2014-10-07Added LPSolve as a solverJustin Bedo
2014-10-06Initial implementation of EDSL and LP output formatterJustin Bedo