Swapnil52/resolution-prover
A first-order-logic CNF converter and resolution prover written in Java
Java
Stargazers
No one’s star this repository yet.
A first-order-logic CNF converter and resolution prover written in Java
Java
No one’s star this repository yet.