GitHub topics: resolution-proof
ParisaArbab/Graph_Encoding
Artificial Intelligence- First Order Logic and Prolog
Language: Jupyter Notebook - Size: 1.41 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
rohitanwar/Ostara
A simple automated theorem prover written in Haskell
Language: Haskell - Size: 331 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
marcluque/YASER
Yet Another Sat solvER
Language: C - Size: 23.9 MB - Last synced at: 4 days ago - Pushed at: 29 days ago - Stars: 4 - Forks: 0
rebryant/pgbdd-artifact
Demonstration of BDD-based SAT solver that generates checkable proofs of unsatisfiability. Details provided in paper: R. E. Bryant and M. J. H. Heule, "Generating Extended Resolution Proofs in a BDD-based SAT Solver," TACAS 2021
Language: Python - Size: 160 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 0
limitedeternity/FOLEngine
Резолюционный прувер для логики первого порядка
Language: C++ - Size: 75.2 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
Vedant2311/SAT-solver-toolbox
Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem
Language: OCaml - Size: 67.4 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
sameeravithana/FOL_Refutation_Prover
Refutation Prover for FOL using First-Order Resolution
Language: Python - Size: 25.4 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1
animeshjn/resolution-theorem-prover
Proves the Sentences (LOGIC Formulae) given in Clausal Form
Language: Common Lisp - Size: 16.6 KB - Last synced at: 10 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
spacekookie/lrs
A library crate for resolving logical clauses in conjuctive normal form
Language: Rust - Size: 64.5 KB - Last synced at: 28 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
georgehtaylor1/Reasoning
Language: Java - Size: 200 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 1
