/GeradorFormulasHornCNF

Projeto em java (Eclipse) que gera formulas de Horn no formato CNF

Primary LanguageJava

Stargazers

No one’s star this repository yet.