lib:Smooth

Modules

• Smooth.LazyBasicSMT

Dependencies

• DifferenceLogic lib:DifferenceLogic >=0.1 && <0.2
• FirstOrderTheory lib:FirstOrderTheory >=0.1 && <0.2
• HUnit lib:HUnit >=1.2 && <1.3
• Proper lib:Proper >=0.5 && <0.6
• base lib:base >=4.6 && <4.7
• containers lib:containers >=0.5 && <0.6

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything