Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with dpll-algorithm

A curated list of projects in awesome lists tagged with dpll-algorithm .

https://github.com/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

Last synced: 09 May 2025

https://github.com/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

Last synced: 02 Aug 2025

https://github.com/cheng-lin-li/ai

This repository for implementations of Artificial intelligence algorithms

ai alpha-beta-pruning decision-network dpll-algorithm propositional-logic propositional-resolution python27 walksat-algorithm

Last synced: 12 Aug 2025

https://github.com/francoisschwarzentruber/dpll

Demonstration of DPLL + backjumping (learning clauses)

dpll-algorithm educational-software

Last synced: 02 Mar 2025

https://github.com/tortis/elm-sat

A simple DPLL SAT solver in Elm

dpll-algorithm elm elm-lang sat sat-solver

Last synced: 04 Sep 2025

https://github.com/snsinfu/dpll-sat

Naïve SAT solver implementing the classic DPLL algorithm

dpll-algorithm learning sat-solver

Last synced: 09 May 2025

https://github.com/davidgonmar/sat-ts

A DPLL-based SAT solver written in TypeScript, powered by Bun.

ai bun dpll-algorithm dpll-solver logic typescript

Last synced: 25 Mar 2025

https://github.com/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.

cnf dpll-algorithm logical-programming prolog sat-solver

Last synced: 04 Aug 2025

https://github.com/imandra-ai/abstract-transition-systems

[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration

cdcl dpll-algorithm formalization ocaml sat smt

Last synced: 16 Mar 2025

https://github.com/limo1996/programverification1

Boolean formula to CNF conversion, DPLL and CDCL SAT solving algorithms

cdcl-algorithm cnf cnf-clauses dpll-algorithm ethz sat-solver

Last synced: 15 Aug 2025

https://github.com/satyendrabanjare/satisfy

A simple SAT solver in python based on DPLL alrorithm. https://en.wikipedia.org/wiki/DPLL_algorithm

dpll-algorithm python-3 sat-solver

Last synced: 20 Feb 2025

https://github.com/ritu-thombre99/solving-cnf-sat-using-dpll

This program checks if an input CNF is satisfiable or not to check logical entailment.

cnf cnf-clauses dpll dpll-algorithm sat-solver

Last synced: 23 Feb 2025

https://github.com/hjyup/sudoku-solver

Haskell-based application that solves Sudoku puzzles using the DPLL

cabal dpll-algorithm haskell-application sudoku-solver

Last synced: 21 Mar 2025

https://github.com/polinasavelyeva/mysat

Simple console SAT-solver that utilizes DPLL algorithm and DIMACS input format

dpll-algorithm fsharp sat-solver

Last synced: 23 Jan 2025

https://github.com/ashenoy95/ai

Touching upon Search, Propositional Logic, RL, NLP

adversarial-search ai dpll dpll-algorithm mdp python

Last synced: 24 Feb 2025

https://github.com/mmz33/dpll-sat-solver

Implementation of DPLL SAT solver algorithm

backtracking dpll-algorithm heuristics sat-solver

Last synced: 16 Mar 2025