sudoku-smt-solvers 0.2.0__tar.gz → 0.3.0__tar.gz

Sign up to get free protection for your applications and to get access to all the features.
Files changed (30) hide show
  1. {sudoku_smt_solvers-0.2.0/sudoku_smt_solvers.egg-info → sudoku_smt_solvers-0.3.0}/PKG-INFO +1 -1
  2. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/sudoku_smt_solvers/__init__.py +1 -1
  3. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/sudoku_smt_solvers/solvers/__init__.py +1 -0
  4. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0/sudoku_smt_solvers.egg-info}/PKG-INFO +1 -1
  5. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/LICENSE +0 -0
  6. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/README.md +0 -0
  7. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/pyproject.toml +0 -0
  8. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/setup.cfg +0 -0
  9. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/setup.py +0 -0
  10. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/sudoku_smt_solvers/benchmarks/__init__.py +0 -0
  11. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/sudoku_smt_solvers/benchmarks/benchmark_runner.py +0 -0
  12. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/sudoku_smt_solvers/solvers/cvc5_solver.py +0 -0
  13. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/sudoku_smt_solvers/solvers/dpll_solver.py +0 -0
  14. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/sudoku_smt_solvers/solvers/dpllt_solver.py +0 -0
  15. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/sudoku_smt_solvers/solvers/z3_solver.py +0 -0
  16. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/sudoku_smt_solvers.egg-info/SOURCES.txt +0 -0
  17. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/sudoku_smt_solvers.egg-info/dependency_links.txt +0 -0
  18. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/sudoku_smt_solvers.egg-info/requires.txt +0 -0
  19. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/sudoku_smt_solvers.egg-info/top_level.txt +0 -0
  20. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/tests/test_benchmark_runner.py +0 -0
  21. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/tests/test_cvc5_solver.py +0 -0
  22. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/tests/test_dfs_solver.py +0 -0
  23. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/tests/test_dpll_solver.py +0 -0
  24. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/tests/test_dpllt_solver.py +0 -0
  25. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/tests/test_hole_digger.py +0 -0
  26. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/tests/test_las_vegas.py +0 -0
  27. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/tests/test_parser.py +0 -0
  28. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/tests/test_profiler.py +0 -0
  29. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/tests/test_sudoku_generator.py +0 -0
  30. {sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/tests/test_z3_solver.py +0 -0
{sudoku_smt_solvers-0.2.0/sudoku_smt_solvers.egg-info → sudoku_smt_solvers-0.3.0}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.2
2
2
  Name: sudoku_smt_solvers
3
- Version: 0.2.0
3
+ Version: 0.3.0
4
4
  Summary: A collection of SAT and SMT solvers for solving Sudoku puzzles
5
5
  Home-page: https://liamjdavis.github.io/sudoku-smt-solvers
6
6
  Author: Liam Davis, Tairan 'Ryan' Ji
{sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/sudoku_smt_solvers/__init__.py RENAMED
@@ -16,4 +16,4 @@ from .solvers.cvc5_solver import CVC5Solver
16
16
  from .benchmarks.benchmark_runner import BenchmarkRunner
17
17
  from .benchmarks.sudoku_generator.sudoku_generator import SudokuGenerator
18
18
 
19
- __version__ = "0.2.0"
19
+ __version__ = "0.3.0"
{sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0}/sudoku_smt_solvers/solvers/__init__.py RENAMED
@@ -2,3 +2,4 @@ from .cvc5_solver import CVC5Solver
2
2
  from .dpll_solver import DPLLSolver
3
3
  from .dpllt_solver import DPLLTSolver
4
4
  from .z3_solver import Z3Solver
5
+ from .utils.sudoku_error import SudokuError
{sudoku_smt_solvers-0.2.0 → sudoku_smt_solvers-0.3.0/sudoku_smt_solvers.egg-info}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.2
2
2
  Name: sudoku_smt_solvers
3
- Version: 0.2.0
3
+ Version: 0.3.0
4
4
  Summary: A collection of SAT and SMT solvers for solving Sudoku puzzles
5
5
  Home-page: https://liamjdavis.github.io/sudoku-smt-solvers
6
6
  Author: Liam Davis, Tairan 'Ryan' Ji