lib:boolean-normal-forms

Modules

• Data.Algebra.Boolean.CNF
• Data.Algebra.Boolean.CNF.List
• Data.Algebra.Boolean.CNF.Set
• Data.Algebra.Boolean.CoBoolean
• Data.Algebra.Boolean.DNF
• Data.Algebra.Boolean.DNF.List
• Data.Algebra.Boolean.DNF.Set
• Data.Algebra.Boolean.FreeBoolean
• Data.Algebra.Boolean.NNF
• Data.Algebra.Boolean.NNF.Set
• Data.Algebra.Boolean.NNF.Tree
• Data.Algebra.Boolean.Negable
• Data.Algebra.Boolean.NormalForm

Dependencies

• base lib:base >=4.6 && <4.14
• cond lib:cond >=0.4.1 && <0.5
• containers lib:containers >=0.5 && <0.7
• deepseq lib:deepseq >=1.1.0.0 && <1.5

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• boolean-normal-forms test:test