propositional-resolution

There are 0 repository under propositional-resolution topic.

georgejkaye / theorem-prover
A simple theorem prover made for a university programming assignment
reasoning theorem theorem-proving theorem-prover dimacs clause-normal-form resolution-calculus propositional-logic propositional-resolution dpll
Language:Java 4
marcluque / YASER
Yet Another Sat solvER
backtracking-search cdcl-algorithm conflict-based-search conflict-driven-clause-learning conflict-resolution dpll-algorithm dpll-solver first-order-logic formal-verification propositional-logic propositional-resolution resolution-proof sat sat-solver satisfiability satisfiability-modulo-theories smt smt-solver solver theory-solver
Language:C 4
Cheng-Lin-Li / AI
This repository for implementations of Artificial intelligence algorithms
ai alpha-beta-pruning decision-network dpll-algorithm propositional-logic propositional-resolution python27 walksat-algorithm
Language:Python 3
TimMerker / AutomatedReasoning
In this bachelor thesis, I developed a toolkit for automated reasoning and interpolation with ordered resolution.
automated reasoning resolution-algorithm interpolation propositional-logic propositional-calculus propositional-proof-system propositional-resolution propositional-logic-encodings conjunctive-normal-form
Language:Java 3
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.
customtkinter propositional-logic propositional-resolution sat-solver syntax-tree tkinter parallel-computing
Language:Python 1
guiIher-me / propositional-logic-interpreter
A Propositional Logic Interpreter written in Node.js
interpreter javascript nodejs propositional-logic propositional-resolution truth-table truth-table-generator
Language:JavaScript 0
jonaac / Propositional-Resolution
Implementation of the resolution rule for Propo- sitional Logic in PROLOG.
propositional-logic propositional-resolution prolog saturation
Language:Prolog 0
Mayank19j / resolution-refutation-prolog
resolution refutation is method of finding whether the given antecedent implies the consequent or not, it could also be used to check validity of the expressions.
resolution resolution-proof resolution-of-expressions resolution-refutation refutation-resolution logic logic-programming propositional-logic propositional-resolution propositional-proof-system validity tautology tautology-checking prolog
Language:Prolog 0
plazajan / Propositional-Resolution
Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.
prolog propositional propositional-calculus propositional-logic propositional-resolution theorem-prover classical-logic logic subsumption-elimination pure-literal-elimination educational-software
Language:Prolog 0