You can find all documentation related to this project in docs
directory and in github pages:
There is also documentation in source code files that can be checked with haddock.
SAT solver with ANF oriented to high performance parallel execution with GPU
HaskellBSD-3-Clause
You can find all documentation related to this project in docs
directory and in github pages:
There is also documentation in source code files that can be checked with haddock.