#

satisfiability

Here are 3 public repositories matching this topic...

GavinPHR / SAT-with-Haskell

Haskell Implementation of DPLL + Sudoku with SAT

haskell cnf sat satisfiability dpll-algorithm

Updated Mar 22, 2020
Haskell

joshuaguerin / DPLL

A simple DPLL implementation written in Haskell.

haskell ai solver logic boolean sat bool dpll satisfiability

Updated Aug 15, 2023
Haskell

floyola / NQueens-SAT

Solving the N-Queens Problem Using a SAT Solver

haskell nqueens-problem z3 sat-solver propositional-logic automated-reasoning nqueens satisfiability

Updated Apr 11, 2020
Haskell

Improve this page

Add a description, image, and links to the satisfiability topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the satisfiability topic, visit your repo's landing page and select "manage topics."