https://pypi.org/project/sudoku-smt-solvers/ Recent updates to the Python Package Index for sudoku-smt-solvers en https://pypi.org/project/sudoku-smt-solvers/1.0.0/ A collection of SAT and SMT solvers for solving Sudoku puzzles ljdavis27@amherst.edu, tji26@amherst.edu Thu, 16 Jan 2025 02:08:15 GMT https://pypi.org/project/sudoku-smt-solvers/0.4.0/ A collection of SAT and SMT solvers for solving Sudoku puzzles ljdavis27@amherst.edu, tji26@amherst.edu Tue, 14 Jan 2025 21:23:58 GMT https://pypi.org/project/sudoku-smt-solvers/0.3.0/ A collection of SAT and SMT solvers for solving Sudoku puzzles ljdavis27@amherst.edu, tji26@amherst.edu Tue, 14 Jan 2025 20:41:36 GMT https://pypi.org/project/sudoku-smt-solvers/0.2.0/ A collection of SAT and SMT solvers for solving Sudoku puzzles ljdavis27@amherst.edu, tji26@amherst.edu Tue, 14 Jan 2025 19:56:06 GMT https://pypi.org/project/sudoku-smt-solvers/0.1.0/ A collection of SAT and SMT solvers for solving Sudoku puzzles ljdavis27@amherst.edu Mon, 06 Jan 2025 23:02:55 GMT https://pypi.org/project/sudoku-smt-solvers/0.0.0/ A collection of SAT and SMT Solvers for Sudoku ljdavis27@amherst.edu, tji26@amherst.edu Fri, 13 Dec 2024 21:48:44 GMT