The latest version of boolean-normal-forms is 0.0.1.1-0.
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.8
- cond lib:cond >=0.4.1 && <0.5
- containers lib:containers >=0.5 && <0.6
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- boolean-normal-forms test:test