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

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

Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem

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

implementing DPLL Algorithm

Yet Another Sat solvER

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

This repository for implementations of Artificial intelligence algorithms

Solving Wumpus World Problem using Propositional Logic

A collection of scripts by me.

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

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