GitHub repository: Gin-Only/Simplified-SAT-Solver
Created: 2024-01-05T14:37:22Z
Description: It is possible to solve the general CNF, the simple Sudoku, and the Eight Queens problem