dpll
Here are 44 public repositories matching this topic...
Iterative DPLL SAT Solver with occurrence lists, jeroslow-wang heuristic
-
Updated
Mar 1, 2024 - Julia
This program checks if an input CNF is satisfiable or not to check logical entailment.
-
Updated
Nov 19, 2020 - Jupyter Notebook
A simple Haskell-based DPLL solver that reads and writes to standard input/output.
-
Updated
Sep 20, 2021 - Haskell
DPLL_propositional_logical_inference: Starting from a FNC (Conjunctive Normal Form), that is, a series of clauses (literals joined by the or operator) joined by an and operator. Apply the DPLL algorithm and determine the values of the literals that give a solution to the FNC. A clear explanation of the DPLL algorithm can be found at http://www…
-
Updated
Sep 27, 2021 - Common Lisp
-
Updated
Jun 20, 2022 - C++
Touching upon Search, Propositional Logic, RL, NLP
-
Updated
Apr 27, 2019 - Python
This program calculates the DPLL Algorithm for you. It is basically a SAT Solver for CNF's. There are three main reasons why I made this program. firstly I wanted to better learn python, secondly I would learn the DPLL algorithm better and thirdly and most importantly I can use it in the exam to gain some time. But I would never do something lik…
-
Updated
Feb 23, 2022 - Python
ECE 208 Bonus Assignment
-
Updated
Aug 11, 2019 - Jupyter Notebook
A (parallel) implementation of the classic DPLL algorithm using Cilk
-
Updated
Dec 10, 2021 - C++
SAT Solver NPM Package written in C++
-
Updated
Aug 14, 2023 - C++
Graph-based DPLL-SAT Solver for propositional logic formulas in XOR-OR-AND normal form (XNF).
-
Updated
Oct 10, 2023 - C++
DPP and DPLL algorithms
-
Updated
Feb 27, 2018 - Haskell
A python implementation of the DPLL algorithm
-
Updated
Sep 21, 2018 - Python
Improve this page
Add a description, image, and links to the dpll topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dpll topic, visit your repo's landing page and select "manage topics."