/cnf-prolog

A GNU Prolog programme to convert boolean expressions into CNF.

Primary LanguagePrologMIT LicenseMIT

Issues