aprusik/EXERCISE-CNF-satisfiability
Deterimines wheter or not a formula presented in conjunctive normal form can be satisfied, and how to do so.
Scala
Stargazers
No one’s star this repository yet.
Deterimines wheter or not a formula presented in conjunctive normal form can be satisfied, and how to do so.
Scala
No one’s star this repository yet.