GitHub repository: pavlvolk/SATvsCSP
Primary language: Python
Created: 2025-04-02T13:16:41Z
Description: A repository to compare the speed of a SAT- and a CSP-Solver based on constraints regarding a Sudoku.