A simple theorem prover made for a university programming assignment
theorem-proving propositional-logic dimacs theorem reasoning theorem-prover dpll clause-normal-form resolution-calculus propositional-resolution
- Updated
Jul 28, 2017 - Java
#
resolution-calculus
Here is 1 public repository matching this topic...
Improve this page
Add a description, image, and links to the resolution-calculus topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the resolution-calculus topic, visit your repo's landing page and select "manage topics."