├── LICENSE ├── README.md ├── Setup.hs ├── changelog ├── limp.cabal ├── src └── Numeric │ └── Limp │ ├── Canon.hs │ ├── Canon │ ├── Analyse │ │ └── Constants.hs │ ├── Constraint.hs │ ├── Convert.hs │ ├── Linear.hs │ ├── Pretty.hs │ ├── Program.hs │ ├── Simplify.hs │ └── Simplify │ │ ├── Bounder.hs │ │ ├── Crunch.hs │ │ └── Subst.hs │ ├── Error.hs │ ├── Program.hs │ ├── Program │ ├── Bounds.hs │ ├── Constraint.hs │ ├── Eval.hs │ ├── Linear.hs │ ├── Program.hs │ └── ResultKind.hs │ ├── Rep.hs │ ├── Rep │ ├── Arbitrary.hs │ ├── IntDouble.hs │ └── Rep.hs │ └── Solve │ ├── Branch │ └── Simple.hs │ └── Simplex │ ├── Maps.hs │ └── StandardForm.hs └── tests ├── Arbitrary ├── Assignment.hs ├── Program.hs └── Var.hs ├── BranchExample.hs ├── Convert.hs ├── Main.hs ├── SimplexExample.hs ├── Simplexs.hs └── Simplify.hs /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /changelog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/changelog -------------------------------------------------------------------------------- /limp.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/limp.cabal -------------------------------------------------------------------------------- /src/Numeric/Limp/Canon.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Canon.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Canon/Analyse/Constants.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Canon/Analyse/Constants.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Canon/Constraint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Canon/Constraint.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Canon/Convert.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Canon/Convert.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Canon/Linear.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Canon/Linear.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Canon/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Canon/Pretty.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Canon/Program.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Canon/Program.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Canon/Simplify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Canon/Simplify.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Canon/Simplify/Bounder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Canon/Simplify/Bounder.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Canon/Simplify/Crunch.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Canon/Simplify/Crunch.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Canon/Simplify/Subst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Canon/Simplify/Subst.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Error.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Program.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Program.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Program/Bounds.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Program/Bounds.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Program/Constraint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Program/Constraint.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Program/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Program/Eval.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Program/Linear.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Program/Linear.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Program/Program.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Program/Program.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Program/ResultKind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Program/ResultKind.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Rep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Rep.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Rep/Arbitrary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Rep/Arbitrary.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Rep/IntDouble.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Rep/IntDouble.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Rep/Rep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Rep/Rep.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Solve/Branch/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Solve/Branch/Simple.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Solve/Simplex/Maps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Solve/Simplex/Maps.hs -------------------------------------------------------------------------------- /src/Numeric/Limp/Solve/Simplex/StandardForm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/src/Numeric/Limp/Solve/Simplex/StandardForm.hs -------------------------------------------------------------------------------- /tests/Arbitrary/Assignment.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/tests/Arbitrary/Assignment.hs -------------------------------------------------------------------------------- /tests/Arbitrary/Program.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/tests/Arbitrary/Program.hs -------------------------------------------------------------------------------- /tests/Arbitrary/Var.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/tests/Arbitrary/Var.hs -------------------------------------------------------------------------------- /tests/BranchExample.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/tests/BranchExample.hs -------------------------------------------------------------------------------- /tests/Convert.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/tests/Convert.hs -------------------------------------------------------------------------------- /tests/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/tests/Main.hs -------------------------------------------------------------------------------- /tests/SimplexExample.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/tests/SimplexExample.hs -------------------------------------------------------------------------------- /tests/Simplexs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/tests/Simplexs.hs -------------------------------------------------------------------------------- /tests/Simplify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amosr/limp/HEAD/tests/Simplify.hs --------------------------------------------------------------------------------