PyPI page
Home page
Author:
Liam Davis, Tairan 'Ryan' Ji
License:
MIT
Summary:
A collection of SAT and SMT solvers for solving Sudoku puzzles
Latest version:
1.0.0
Required dependencies:
cvc5
|
python-sat
|
z3-solver
Downloads last day:
1
Downloads last week:
24
Downloads last month:
38