dpll-algorithm
There are 72 repositories under dpll-algorithm topic.
sukrutrao/SAT-Solver-DPLL
A simple SAT solver that implements the DPLL algorithm with unit resolution
Billy1900/DPLL-Algorithm
华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem
marcmelis/dpll-sat
Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm
limo1996/SAT-Solver
Parallel SAT Solver
oldgalileo/satsolver
C++ implementation of the DPLL Algorithm
private-yusuke/sat-d
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
safwankdb/SAT-Solver-using-DPLL
Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem
erohkohl/n-queens-sat
Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.
Icegrave0391/SAT-DPLL
2019CourseDesign
j-christl/DpllSatSolver
Simple Java implementation of the Davis–Putnam–Logemann–Loveland (DPLL) algorithm
jcwleo/DPLL-Algorithm
implementing DPLL Algorithm
KirillSmirnov/dpll-perf-toy-project
Flamegraph tutorial for my classes
marcluque/YASER
Yet Another Sat solvER
Cheng-Lin-Li/AI
This repository for implementations of Artificial intelligence algorithms
hhoikoo00/hs-knowledge
A library written in Haskell that determines whether a logical argument is valid through either Model Checking or DPLL Algorithm
swapnil-ahlawat/Wumpus-World
Solving Wumpus World Problem using Propositional Logic
baptiste-fourmont/dpll
An implementation of a recursive DPLL solver in OCaml. It parses setup (cnf ) DIMACS and checks if the formula is satisfied.
CyaCoan/SAT_Solver_Twodoku
Nothing more than a SAT Solver and a Twodoku Game
francoisschwarzentruber/dpll
Demonstration of DPLL + backjumping (learning clauses)
liloheinrich/Sudoku
Advanced Algorithms | Spring 2021 | DPLL SAT solver for Sudoku
nicolasAmat/Sudoku_Solver
A Sudoku solver with a custom DPLL decision procedure.
RoundofThree/python-scripts
A collection of scripts by me.
Shreyasi2002/SAT_Solver___Sudoku
SAT Solver based on DPLL algorithm and Jersolow-Wang 2-sided heuristic. Sudoku Pair Solver and Generator using SAT Solver.
tortis/elm-sat
A simple DPLL SAT solver in Elm
AnsgarKlein/DPLL-SAT-Solver
Implementation of the DPLL algorithm for solving the satisfiability problem of propositional logic
dakotawong/SAT-Solver
Boolean SAT Solver implemented using the C++ Standard Library
DaveAlsina/SudokuSolver
Solucionador de Sudokus usando lógica proposicional, a través de algoritmos como el 'DPLL' y la transformación de 'Tseitin'
davidgonmar/sat-ts
A DPLL-based SAT solver written in TypeScript, powered by Bun.
GavinPHR/SAT-with-Haskell
Haskell Implementation of DPLL + Sudoku with SAT
imandra-ai/abstract-transition-systems
[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration
JianyuTANG/SAT-Solver
A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.
MatiasBrizzio/N-AI
🧩 Solver for N-Puzzle & N-Queens using Genetic Algorithms, A*, and more in Python
MaxBRheinl/SAT-Solver
Sat-Solver is a Prolog program that converts propositional logic formulas into CNF and solves them using the DPLL algorithm. It processes logical expressions and applies unit propagation, clause simplification, and variable branching. The project was mainly built to improve skills in Prolog.
Popa611/SAT-solver
Simple implementation and parallelization of the DPLL algorithm for the satisfiability problem.
snsinfu/dpll-sat
Naïve SAT solver implementing the classic DPLL algorithm
toanphan19/tiny-sat
A SAT solver using DPLL algorithm.