Many SAT

Project information

Implementation of various algorithms around the SAT problem.

SAT Haskell functional dpp DPLL maxsat

29 Commits
4 Branches
2 Tags
5 Releases

README
GNU GPLv3

Created on

December 06, 2020

Loading