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++ 43
Billy1900 / DPLL-Algorithm
华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem
sat dpll dpll-algorithm sudoku-solver
Language:C++ 31
marcmelis / dpll-sat
Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm
sat-solver python dpll-algorithm
Language:Python 13
limo1996 / SAT-Solver
Parallel SAT Solver
cdcl-algorithm dpll-algorithm high-performance-computing mpi parallel-computing sat sat-solver
Language:C++ 9
oldgalileo / satsolver
C++ implementation of the DPLL Algorithm
algorithms sat-solver dpll-algorithm
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.
constraint-programming constraint-satisfaction-problem dpll-algorithm n-queens rust rust-lang sat-solver tdd
Language:Rust 7
Icegrave0391 / SAT-DPLL
2019CourseDesign
sat dpll-algorithm
Language:C 7
safwankdb / SAT-Solver-using-DPLL
Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem
dpll dpll-algorithm sat-solver hacktoberfest
Language:Python 6
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
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 propositional-logic walksat-algorithm dpll-algorithm propositional-resolution python27
Language:Python 3
hhoikoo00 / 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
KirillSmirnov / dpll-perf-toy-project
Flamegraph tutorial for my classes
dpll-algorithm flamegraph perf tutorial
Language:C++ 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.
sudoku-solver dpll-algorithm sat-solver
Language:Python 2
RoundofThree / python-scripts
A collection of scripts by me.
python scripts dpll-algorithm tsp-approximation sat-solver k-means-implementation-in-python decision-tree-classifier
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
swapnil-ahlawat / Wumpus-World
Solving Wumpus World Problem using Propositional Logic
wumpusworld wumpus-game propositional-logic dpll-algorithm
Language:Python 2
tortis / elm-sat
A simple DPLL SAT solver in Elm
elm-lang elm sat sat-solver dpll-algorithm
Language:Elm 2
AnsgarKlein / DPLL-SAT-Solver
Implementation of the DPLL algorithm for solving the satisfiability problem of propositional logic
dpll dpll-algorithm sat-solver sat satisfiability
Language:C 1
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
GavinPHR / SAT-with-Haskell
Haskell Implementation of DPLL + Sudoku with SAT
dpll-algorithm haskell sat satisfiability cnf
Language:Haskell 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
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
saifkhichi96 / basic-sat
BasicSAT is a very limited and naive SAT Solver written in Python.
python sat-solver dpll-algorithm
Language:Python 1
snsinfu / dpll-sat
Naïve SAT solver implementing the classic DPLL algorithm
sat-solver dpll-algorithm learning
Language:Rust 1
TuanDoan14112003 / inference-engine
backward-chaining dpll-algorithm forward-chaining inference-engine logic resolution-algorithm
Language:Python 1
artem-burashnikov / SomeSAT
Part of the SPBU's programming course. DPLL SAT solver in F#.
dpll-algorithm fsharp sat-solver
Language:F# 0

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

Icegrave0391 / SAT-DPLL

safwankdb / SAT-Solver-using-DPLL

j-christl / DpllSatSolver

jcwleo / DPLL-Algorithm

marcluque / YASER

Cheng-Lin-Li / AI

hhoikoo00 / hs-knowledge

KirillSmirnov / dpll-perf-toy-project

baptiste-fourmont / dpll

CyaCoan / SAT_Solver_Twodoku

francoisschwarzentruber / dpll

liloheinrich / Sudoku

nicolasAmat / Sudoku_Solver

RoundofThree / python-scripts

Shreyasi2002 / SAT_Solver___Sudoku

swapnil-ahlawat / Wumpus-World

tortis / elm-sat

AnsgarKlein / DPLL-SAT-Solver

dakotawong / SAT-Solver

DaveAlsina / SudokuSolver

davidgonmar / sat-ts

GavinPHR / SAT-with-Haskell

imandra-ai / abstract-transition-systems

JianyuTANG / SAT-Solver

Popa611 / SAT-solver

saifkhichi96 / basic-sat

snsinfu / dpll-sat

TuanDoan14112003 / inference-engine

artem-burashnikov / SomeSAT