lib:PropaFP
Modules
- PropaFP.DeriveBounds
- PropaFP.EliminateFloats
- PropaFP.Eliminator
- PropaFP.Expression
- PropaFP.Parsers.DRealSmt
- PropaFP.Parsers.Lisp.DataTypes
- PropaFP.Parsers.Lisp.Parser
- PropaFP.Parsers.Smt
- PropaFP.Translators.BoxFun
- PropaFP.Translators.DReal
- PropaFP.Translators.FPTaylor
- PropaFP.Translators.MetiTarski
- PropaFP.VarMap
Dependencies
- QuickCheck lib:QuickCheck >=2.14.2 && <2.15
- 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
- binary lib:binary >=0.8.8.0 && <0.9
- bytestring lib:bytestring >=0.10.12.1 && <0.11
- collect-errors lib:collect-errors >=0.1.5 && <0.2
- containers lib:containers >=0.6.4.1 && <0.7
- directory lib:directory >=1.3.6.2 && <1.4
- extra lib:extra >=1.7.10 && <1.8
- ghc lib:ghc >=9.0.2 && <9.1
- mixed-types-num lib:mixed-types-num >=0.5.10 && <0.6
- optparse-applicative lib:optparse-applicative >=0.16.1.0 && <0.17
- process lib:process >=1.6.13.2 && <1.7
- regex-tdfa lib:regex-tdfa >=1.3.1.2 && <1.4
- scientific lib:scientific >=0.3.7.0 && <0.4
- temporary lib:temporary >=1.3 && <1.4
Reverse dependencies
Direct only. Not exhaustive.