exe:propafp-translate-dreal

Dependencies

• PropaFP lib:PropaFP >=0
• 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

None.