GitHub repository: super7ramp/sudoku4j
Primary language: Java
Created: 2023-09-17T13:04:22Z
Description: An example of Sudoku solver using Sat4j library.