Topic: "propositional-resolution"
marcluque/YASER
Yet Another Sat solvER
Language: C - Size: 23.9 MB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 0

georgejkaye/theorem-prover
A simple theorem prover made for a university programming assignment
Language: Java - Size: 163 KB - Last synced at: about 2 months ago - Pushed at: almost 8 years ago - Stars: 4 - Forks: 1

Cheng-Lin-Li/AI
This repository for implementations of Artificial intelligence algorithms
Language: Python - Size: 60.5 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 2

Cubix1729/logicalpy
A Python library providing basic functionalities for manipulating propositional logic
Language: Python - Size: 1.07 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 1 - Forks: 0

mihai-bontea/Propositional-Logic-Solver
Performs normal form conversions of propositional formulas through the use of syntax trees, and provides 3 sat-solver algorithms with verifiable step-by-step output.
Language: Python - Size: 106 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

RaphaelBonatti/propositional-logic-prover-python
A propositional logic prover implemented using resolution refutation.
Language: Python - Size: 43 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

plazajan/Propositional-Resolution
Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.
Language: Prolog - Size: 110 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

guiIher-me/propositional-logic-interpreter
A Propositional Logic Interpreter written in Node.js
Language: JavaScript - Size: 2.45 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

jonaac/Propositional-Resolution
Implementation of the resolution rule for Propo- sitional Logic in PROLOG.
Language: Prolog - Size: 8.79 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
