sudokusensei

PyPI page
Home page
Author: Ian A. Mason
License: CC4
Summary: The SMT Sudoku Sensei
Latest version: 1.0.1
Required dependencies: yices

Downloads last day: 0
Downloads last week: 11
Downloads last month: 52