Name		Name	Last commit message	Last commit date
app		app
src/Data/Algorithm/Sat		src/Data/Algorithm/Sat
test		test
.gitignore		.gitignore
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
SatSolver.cabal		SatSolver.cabal
Setup.hs		Setup.hs
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Repository files navigation

SatSolver

Requirements

make
stack

Run project

git clone https://github.com/Barazok/SatSolver
cd SatSolver
make

Clean project

make clean

About

Another Haskell SatSolver, engineering studies project.

GPL-3.0 license

0 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages