dpll-algorithm

There are 2 repositories under dpll-algorithm topic.

sukrutrao / SAT-Solver-DPLL
A simple SAT solver that implements the DPLL algorithm with unit resolution
sat-solver dpll dpll-algorithm satisfiability
Language:C++ 45
Billy1900 / DPLL-Algorithm
华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem
sat dpll dpll-algorithm sudoku-solver
Language:C++ 39
marcmelis / dpll-sat
Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm
dpll-algorithm python sat-solver
Language:Python 14
limo1996 / SAT-Solver
Parallel SAT Solver
sat sat-solver parallel-computing high-performance-computing cdcl-algorithm dpll-algorithm mpi
Language:C++ 10
oldgalileo / satsolver
C++ implementation of the DPLL Algorithm
algorithms dpll-algorithm sat-solver
Language:C++ 9
private-yusuke / sat-d
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
sat sat-solver dpll dpll-algorithm dlang satisfiability satisfiability-solver cdcl cdcl-algorithm
Language:D 9
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.
rust rust-lang sat-solver dpll-algorithm n-queens tdd constraint-satisfaction-problem constraint-programming
Language:Rust 8
safwankdb / SAT-Solver-using-DPLL
Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem
dpll dpll-algorithm sat-solver hacktoberfest
Language:Python 8
Icegrave0391 / SAT-DPLL
2019CourseDesign
sat dpll-algorithm
Language:C 7
j-christl / DpllSatSolver
Simple Java implementation of the Davis–Putnam–Logemann–Loveland (DPLL) algorithm
algorithm algorithms discrete-mathematics dpll dpll-algorithm java math mathematics sat-solver
Language:Java 5
jcwleo / DPLL-Algorithm
implementing DPLL Algorithm
artificial-intelligence cnf dpll-algorithm
Language:Python 4
KirillSmirnov / dpll-perf-toy-project
Flamegraph tutorial for my classes
dpll-algorithm flamegraph perf tutorial
Language:C++ 4
marcluque / YASER
Yet Another Sat solvER
smt smt-solver sat-solver sat theory-solver satisfiability formal-verification solver dpll-algorithm dpll-solver resolution-proof conflict-resolution cdcl-algorithm conflict-driven-clause-learning conflict-based-search first-order-logic propositional-logic propositional-resolution satisfiability-modulo-theories backtracking-search
Language:C++ 4
Cheng-Lin-Li / AI
This repository for implementations of Artificial intelligence algorithms
ai alpha-beta-pruning decision-network propositional-logic walksat-algorithm dpll-algorithm propositional-resolution python27
Language:Python 3
hhoikoo / hs-knowledge
A library written in Haskell that determines whether a logical argument is valid through either Model Checking or DPLL Algorithm
haskell dpll-algorithm model-checking
Language:Haskell 3
RoundofThree / python-scripts
A collection of scripts by me.
decision-tree-classifier dpll-algorithm k-means-implementation-in-python python sat-solver scripts tsp-approximation
Language:Python 3
swapnil-ahlawat / Wumpus-World
Solving Wumpus World Problem using Propositional Logic
wumpusworld wumpus-game propositional-logic dpll-algorithm
Language:Python 3
baptiste-fourmont / dpll
An implementation of a recursive DPLL solver in OCaml. It parses setup (cnf ) DIMACS and checks if the formula is satisfied.
dimacs dpll-solver dpll-algorithm ocaml solver
Language:OCaml 2
CyaCoan / SAT_Solver_Twodoku
Nothing more than a SAT Solver and a Twodoku Game
dpll-algorithm random-generation sat twodoku
Language:C 2
francoisschwarzentruber / dpll
Demonstration of DPLL + backjumping (learning clauses)
dpll-algorithm educational-software
Language:JavaScript 2
liloheinrich / Sudoku
Advanced Algorithms | Spring 2021 | DPLL SAT solver for Sudoku
sudoku boolean-satisfiability dpll-algorithm sat-solver sat-reduction
Language:Python 2
nicolasAmat / Sudoku_Solver
A Sudoku solver with a custom DPLL decision procedure.
dpll-algorithm sat-solver sudoku-solver
Language:Python 2
Shreyasi2002 / SAT_Solver___Sudoku
SAT Solver based on DPLL algorithm and Jersolow-Wang 2-sided heuristic. Sudoku Pair Solver and Generator using SAT Solver.
sat-solver dpll-algorithm sudoku-solver sudoku-generator pysat
Language:Python 2
tortis / elm-sat
A simple DPLL SAT solver in Elm
dpll-algorithm elm elm-lang sat sat-solver
Language:Elm 2
dakotawong / SAT-Solver
Boolean SAT Solver implemented using the C++ Standard Library
dpll-algorithm lexical-analyzer parser tseitin-transformation
Language:C++ 1
DaveAlsina / SudokuSolver
Solucionador de Sudokus usando lógica proposicional, a través de algoritmos como el 'DPLL' y la transformación de 'Tseitin'
sudoku sudoku-solver dpll-algorithm tseitin-transformation codification
Language:Python 1
davidgonmar / sat-ts
A DPLL-based SAT solver written in TypeScript, powered by Bun.
ai bun dpll-algorithm dpll-solver logic typescript
Language:TypeScript 1
imandra-ai / abstract-transition-systems
[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration
formalization sat smt ocaml dpll-algorithm cdcl
Language:OCaml 1
JianyuTANG / SAT-Solver
A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.
dpll-algorithm cdcl-algorithm
Language:C++ 1
MatiasBrizzio / N-AI
🧩 Solver for N-Puzzle & N-Queens using Genetic Algorithms, A*, and more in Python
ai genetic-algorithm genetic-programming n-queens search-algorithm 8-puzzle 8-puzzle-solver astar pyevolve iterative-deepening-search simulated-annealing sat dpll-algorithm satisfiability graph-coloring
Language:Python 1
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.
logical-programming prolog sat-solver cnf dpll-algorithm
Language:Prolog 1
Popa611 / SAT-solver
Simple implementation and parallelization of the DPLL algorithm for the satisfiability problem.
sat-solver satisfiability csharp parallelism parallel 3-colorability-problem independent-set-problem hamiltonian-path-problem dpll-algorithm dpll
Language:C# 1
QabasAK / SAT-Solver
C++ SAT solver using DPLL and CDCL algorithms to solve Boolean SAT problems supporting pure literal elimination, unit propagation, clause learning, and non-chronological backtracking.
backtracking cdcl-algorithm conflict-analysis dpll-algorithm manim sat-solver unit-propagation
Language:Python 1
ritu-thombre99 / Solving-CNF-SAT-using-DPLL
This program checks if an input CNF is satisfiable or not to check logical entailment.
dpll-algorithm cnf cnf-clauses sat-solver dpll
Language:Jupyter Notebook 1
snsinfu / dpll-sat
Naïve SAT solver implementing the classic DPLL algorithm
dpll-algorithm learning sat-solver
Language:Rust 1
toanphan19 / tiny-sat
A SAT solver using DPLL algorithm.
sat-solver artificial-intelligence dpll-algorithm
Language:Java 1

dpll-algorithm

sukrutrao / SAT-Solver-DPLL

Billy1900 / DPLL-Algorithm

marcmelis / dpll-sat

limo1996 / SAT-Solver

oldgalileo / satsolver

private-yusuke / sat-d

erohkohl / n-queens-sat

safwankdb / SAT-Solver-using-DPLL

Icegrave0391 / SAT-DPLL

j-christl / DpllSatSolver

jcwleo / DPLL-Algorithm

KirillSmirnov / dpll-perf-toy-project

marcluque / YASER

Cheng-Lin-Li / AI

hhoikoo / hs-knowledge

RoundofThree / python-scripts

swapnil-ahlawat / Wumpus-World

baptiste-fourmont / dpll

CyaCoan / SAT_Solver_Twodoku

francoisschwarzentruber / dpll

liloheinrich / Sudoku

nicolasAmat / Sudoku_Solver

Shreyasi2002 / SAT_Solver___Sudoku

tortis / elm-sat

dakotawong / SAT-Solver

DaveAlsina / SudokuSolver

davidgonmar / sat-ts

imandra-ai / abstract-transition-systems

JianyuTANG / SAT-Solver

MatiasBrizzio / N-AI

MaxBRheinl / SAT-Solver

Popa611 / SAT-solver

QabasAK / SAT-Solver

ritu-thombre99 / Solving-CNF-SAT-using-DPLL

snsinfu / dpll-sat

toanphan19 / tiny-sat