/EXERCISE-CNF-satisfiability

Deterimines wheter or not a formula presented in conjunctive normal form can be satisfied, and how to do so.

Primary LanguageScala

Stargazers

No one’s star this repository yet.