GitHub repository: AntonReinhard/riss
Description: Riss SAT Solver