Skip to content

GavinPHR/SAT-with-Haskell

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

21 Commits

documentation-files

documentation-files

 
 

primitive

primitive

 
 

.gitignore

.gitignore

 
 

China.hs

China.hs

 
 

DPLL.hs

DPLL.hs

 
 

Encode.hs

Encode.hs

 
 

Grid.hs

Grid.hs

 
 

NQueens.hs

NQueens.hs

 
 

README.md

README.md

 
 

Sudoku.hs

Sudoku.hs

 
 

china.png

china.png

 
 

china.svg

china.svg

 
 

Repository files navigation

SAT-with-Haskell

About

Haskell Implementation of DPLL + Sudoku with SAT

Topics

haskell cnf sat satisfiability dpll-algorithm

Resources

Readme
Activity

Stars

1 star

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages