Projeto em java (Eclipse) que gera formulas de Horn no formato CNF
Primary LanguageJava
No issues in this repository yet.