GitHub repository: wonhyukchoi/parallel-sat-solver
Primary language: Haskell
Description: Parallel boolean satisfiability solver in Haskell