dpll-algorithm
There are 67 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
oldgalileo/satsolver
C++ implementation of the DPLL Algorithm
private-yusuke/sat-d
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
limo1996/SAT-Solver
Parallel SAT Solver
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
safwankdb/SAT-Solver-using-DPLL
Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem
j-christl/DpllSatSolver
Simple Java implementation of the Davis–Putnam–Logemann–Loveland (DPLL) algorithm
jcwleo/DPLL-Algorithm
implementing DPLL Algorithm
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
KirillSmirnov/dpll-perf-toy-project
Flamegraph tutorial for my classes
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.
swapnil-ahlawat/Wumpus-World
Solving Wumpus World Problem using Propositional Logic
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.
Popa611/SAT-solver
Simple implementation and parallelization of the DPLL algorithm for the satisfiability problem.
saifkhichi96/basic-sat
BasicSAT is a very limited and naive SAT Solver written in Python.
snsinfu/dpll-sat
Naïve SAT solver implementing the classic DPLL algorithm
artem-burashnikov/SomeSAT
Part of the SPBU's programming course. DPLL SAT solver in F#.