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

Haskell Implementation of DPLL Sudoku with SAT

A simple Haskell-based DPLL solver that reads and writes to standard input/output.

DPP and DPLL algorithms

Haskell-based application that solves Sudoku puzzles using the DPLL

🌳 Implementation of tree search algorithms dealing with satisfiability of propositional logic sentences