ignaciobll/ANF-

SAT solver with ANF oriented to high performance parallel execution with GPU

ANF Ͱ ⊻

You can find all documentation related to this project in docs directory and in github pages:

• Documentation
  • OpenCL intro
    • Sparse Matrix
  • SAT solving
  • Related Tools

There is also documentation in source code files that can be checked with haddock.

Project structure