lib:LPPaver
Modules
- LPPaver.Algorithm.DNF
- LPPaver.Algorithm.Linearisation
- LPPaver.Algorithm.Type
- LPPaver.Algorithm.Util
- LPPaver.Constraint.Type
- LPPaver.Constraint.Util
Dependencies
- PropaFP lib:PropaFP >=0.1.1 && <0.2
- aern2-mfun lib:aern2-mfun >=0.2.9 && <0.3
- aern2-mp lib:aern2-mp >=0.2.9.1 && <0.3
- base lib:base >=4.7 && <5
- collect-errors lib:collect-errors >=0.1 && <0.2
- containers lib:containers >=0.6 && <0.7
- directory lib:directory >=1.3 && <1.4
- mixed-types-num lib:mixed-types-num >=0.5.10 && <0.6
- optparse-applicative lib:optparse-applicative >=0.16 && <0.17
- parallel lib:parallel >=3.2 && <3.3
- pqueue lib:pqueue >=1.4 && <1.5
- simplex-method lib:simplex-method >=0.1 && <0.2
Reverse dependencies
Direct only. Not exhaustive.