lib:Proper

Modules

• Proper.BDD
• Proper.CNF
• Proper.Clause
• Proper.Formula

Dependencies

• base lib:base <6
• containers lib:containers >=0
• syb lib:syb >=0

Reverse dependencies

Direct only. Not exhaustive.

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