lib:DifferenceLogic

Modules

• DifferenceLogic.Solver

Dependencies

• HUnit lib:HUnit >=1.2 && <1.3
• base lib:base >=4.6 && <4.7
• containers lib:containers >=0.5 && <0.6
• fgl lib:fgl >=0

Reverse dependencies

Direct only. Not exhaustive.

• Smooth lib:Smooth
• acme-everything lib:acme-everything