Skip to content

Another Haskell SatSolver, engineering studies project.

License

Notifications You must be signed in to change notification settings

Rawleenc/SatSolver

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.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published