/CNFconverter

Convert any formula to Conjunctive Normal Form

Primary LanguageJava

Stargazers