exe:NonDet

Dependencies

• base lib:base >=4.17 && <4.21
• bytestring lib:bytestring >=0.11.1 && <0.13
• co-log-core lib:co-log-core ^>=0.3.2
• containers lib:containers >0.6.5 && <0.8
• data-effects lib:data-effects ^>=0.3.0.1
• filepath lib:filepath >=1.4.2.2 && <1.6
• ghc-typelits-knownnat lib:ghc-typelits-knownnat ^>=0.7
• heftia lib:heftia ^>=0.5
• heftia-effects lib:heftia-effects >=0
• process lib:process ^>=1.6.15
• text lib:text >=0 && >=1.2.5 && <2.2
• time lib:time >=1.11.1 && <1.15
• unbounded-delays lib:unbounded-delays ^>=0.1.1
• unliftio lib:unliftio ^>=0.2

Reverse dependencies

None.