sudoku-smt-solvers 0.4.0__py3-none-any.whl → 1.0.0__py3-none-any.whl

sudoku_smt_solvers/__init__.py

@@ -19,7 +19,7 @@ from .benchmarks.sudoku_generator import (
     DFSSolver,
 )
 
-__version__ = "0.4.0"
+__version__ = "1.0.0"
 
 __all__ = [
     "CVC5Solver",

{sudoku_smt_solvers-0.4.0.dist-info → sudoku_smt_solvers-1.0.0.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: sudoku_smt_solvers
-Version: 0.4.0
+Version: 1.0.0
 Summary: A collection of SAT and SMT solvers for solving Sudoku puzzles
 Home-page: https://liamjdavis.github.io/sudoku-smt-solvers
 Author: Liam Davis, Tairan 'Ryan' Ji
@@ -35,7 +35,7 @@ Dynamic: summary
 
 
 ## About
-This repository contains the code for the study "Evaluating SMT-Based Solvers on Sudoku". Created by Liam Davis (@liamjdavis) and Tairan "Ryan" Ji (@TairanJ) as their for COSC-241 Artificial Intelligence at Amherst College, it evaluates the efficacy of SMT-Based Solvers by benchmarking three modern SMT solvers (DPLL(T), Z3, and CVC5) against the DPLL algorithm on a collection of 100 25x25 Sudoku puzzles of varying difficulty.
+This repository contains the code for the study "Evaluating SMT-Based Solvers on Sudoku". Created by Liam Davis (@liamjdavis) and Tairan "Ryan" Ji (@TairanJ) as their for COSC-241 Artificial Intelligence at Amherst College, it evaluates the efficacy of SMT-Based Solvers by benchmarking three modern SMT solvers (DPLL(T), Z3, and CVC5) against the DPLL algorithm on a collection of 100 25x25 Sudoku puzzles of varying difficulty. The corresponding paper can be found [here](https://arxiv.org/abs/2501.08569).
 
 Along with the study, we also published `sudoku-smt-solvers`, a Python package that provides the various SMT-based Sudoku solvers and benchmarking tools we built for this study. The package features DPLL(T), Z3, and CVC5 solvers optimized for 25x25 Sudoku puzzles, a puzzle generator for creating test cases, and a comprehensive benchmarking suite. Available through pip, it offers a simple API for solving Sudoku puzzles using state-of-the-art SMT solvers while facilitating performance comparisons between different solving approaches.
 
@@ -95,7 +95,6 @@ from sudoku_smt_solvers import BenchmarkRunner
 
 runner = BenchmarkRunner(
     puzzles_dir='resources/benchmarks/puzzles/',
-    solutions_dir='resources/benchmarks/solutions/',
     results_dir='results/'
 )
 runner.run_benchmarks()

{sudoku_smt_solvers-0.4.0.dist-info → sudoku_smt_solvers-1.0.0.dist-info}/RECORD

@@ -1,4 +1,4 @@
-sudoku_smt_solvers/__init__.py,sha256=PJo8qJmamMhps_-HTKegaxq3FqUf_PWWz7f_8DqRafk,935
+sudoku_smt_solvers/__init__.py,sha256=8rBW6Gw7E3oWdokHdJPpyFMlSXvDIasjjaw7fyVAUZI,935
 sudoku_smt_solvers/benchmarks/__init__.py,sha256=qRc3eFgeV0yzO2NgSnlqjJ3ejHgDxlI1ySId6WspT24,77
 sudoku_smt_solvers/benchmarks/benchmark_runner.py,sha256=Mc87ul-6VkWMomtlmOMc9GXmC4AwfQUwIWKDjeFvSVA,7712
 sudoku_smt_solvers/benchmarks/sudoku_generator/__init__.py,sha256=Ob4Qt1GyqixpvZceGZxyYWd1doefukN_WnHns1SBDQg,236
@@ -13,8 +13,8 @@ sudoku_smt_solvers/solvers/dpllt_solver.py,sha256=8HJWOGU6Oj4hNpgkK96sI51bdiTfRL
 sudoku_smt_solvers/solvers/z3_solver.py,sha256=e6WPwPdN8uUipjxNm7KRYlbsNNwGyxH3s4wy5wC8PPc,4902
 sudoku_smt_solvers/solvers/utils/__init__.py,sha256=TPg_Q5aZs_QOC9CEesZhf9o7uUC3c7oG_vP5nBcyc2M,65
 sudoku_smt_solvers/solvers/utils/sudoku_error.py,sha256=iUcv1QCgQ7anov0b-AtIB1fbfZ3yWfci4eTp_8RuUJg,208
-sudoku_smt_solvers-0.4.0.dist-info/LICENSE,sha256=PbuZlvluV1l4HMMfPAVe5yjVvFGBK9DFp20JNhoJ8bI,1067
-sudoku_smt_solvers-0.4.0.dist-info/METADATA,sha256=4BGL_GK0m0dTFzKJRqYFnN0vXzELS8sXSgu6qNxL2Dw,6589
-sudoku_smt_solvers-0.4.0.dist-info/WHEEL,sha256=In9FTNxeP60KnTkGw7wk6mJPYd_dQSjEZmXdBdMCI-8,91
-sudoku_smt_solvers-0.4.0.dist-info/top_level.txt,sha256=Ww9vs8KC4aujzfGfddMl_X8Qzh-Cywn9aBTLQgemi5A,19
-sudoku_smt_solvers-0.4.0.dist-info/RECORD,,
+sudoku_smt_solvers-1.0.0.dist-info/LICENSE,sha256=PbuZlvluV1l4HMMfPAVe5yjVvFGBK9DFp20JNhoJ8bI,1067
+sudoku_smt_solvers-1.0.0.dist-info/METADATA,sha256=UYppSjYhP1njgP91HQRvvmdlX1efN-O7Rw6HS5j0zFY,6615
+sudoku_smt_solvers-1.0.0.dist-info/WHEEL,sha256=In9FTNxeP60KnTkGw7wk6mJPYd_dQSjEZmXdBdMCI-8,91
+sudoku_smt_solvers-1.0.0.dist-info/top_level.txt,sha256=Ww9vs8KC4aujzfGfddMl_X8Qzh-Cywn9aBTLQgemi5A,19
+sudoku_smt_solvers-1.0.0.dist-info/RECORD,,