In this repository I show how to perform a parallel BFS on graph constructed from CNF formulas.
Primary LanguageCudaMIT LicenseMIT