A simple SAT solver that implements the DPLL algorithm with unit resolution

华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem

Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm

Parallel SAT Solver

Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem

A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム

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.

C++ implementation of the DPLL Algorithm

2019CourseDesign

Simple Java implementation of the Davis–Putnam–Logemann–Loveland (DPLL) algorithm

Flamegraph tutorial for my classes

Yet Another Sat solvER

Solving Wumpus World Problem using Propositional Logic

implementing DPLL Algorithm

This repository for implementations of Artificial intelligence algorithms

A library written in Haskell that determines whether a logical argument is valid through either Model Checking or DPLL Algorithm

A collection of scripts by me.

An implementation of a recursive DPLL solver in OCaml. It parses setup (cnf ) DIMACS and checks if the formula is satisfied.

Nothing more than a SAT Solver and a Twodoku Game

A Sudoku solver with a custom DPLL decision procedure.

SAT Solver based on DPLL algorithm and Jersolow-Wang 2-sided heuristic. Sudoku Pair Solver and Generator using SAT Solver.

Demonstration of DPLL + backjumping (learning clauses)

A simple DPLL SAT solver in Elm

Advanced Algorithms | Spring 2021 | DPLL SAT solver for Sudoku

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

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

Boolean SAT Solver implemented using the C++ Standard Library

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

Implementation of the DPLL algorithm for solving the satisfiability problem of propositional logic

A Simple SAT Solver