/boolean-normal-forms

Boolean normal forms: NNF, DNF & CNF

Primary LanguageHaskellMIT LicenseMIT

Watchers