MANIFEST.in
README.md
setup.cfg
setup.py
examples/cacophony.txt
examples/generated.txt
examples/test-z3.txt
src/__init__.py
src/api.py
src/cli.py
src/sudoku.py
src/__pycache__/__init__.cpython-310.pyc
src/__pycache__/__init__.cpython-39.pyc
src/__pycache__/api.cpython-39.pyc
src/__pycache__/cli.cpython-310.pyc
src/__pycache__/cli.cpython-39.pyc
src/__pycache__/sudoku.cpython-310.pyc
src/__pycache__/sudoku.cpython-39.pyc
src/common/__init__.py
src/common/connectives.py
src/common/template.html
src/common/utils.py
src/common/__pycache__/__init__.cpython-310.pyc
src/common/__pycache__/__init__.cpython-39.pyc
src/common/__pycache__/connectives.cpython-310.pyc
src/common/__pycache__/connectives.cpython-39.pyc
src/common/__pycache__/utils.cpython-310.pyc
src/common/__pycache__/utils.cpython-39.pyc
src/rulesets/__init__.py
src/rulesets/areasums.py
src/rulesets/basic_rules.py
src/rulesets/blacklisted.py
src/rulesets/constrictions.py
src/rulesets/counter.py
src/rulesets/evens.py
src/rulesets/odds.py
src/rulesets/prefills.py
src/rulesets/rulesets.py
src/rulesets/thermometer.py
src/rulesets/__pycache__/__init__.cpython-310.pyc
src/rulesets/__pycache__/__init__.cpython-39.pyc
src/rulesets/__pycache__/areasums.cpython-310.pyc
src/rulesets/__pycache__/areasums.cpython-39.pyc
src/rulesets/__pycache__/basic_rules.cpython-310.pyc
src/rulesets/__pycache__/basic_rules.cpython-39.pyc
src/rulesets/__pycache__/blacklisted.cpython-310.pyc
src/rulesets/__pycache__/blacklisted.cpython-39.pyc
src/rulesets/__pycache__/constrictions.cpython-310.pyc
src/rulesets/__pycache__/constrictions.cpython-39.pyc
src/rulesets/__pycache__/counter.cpython-310.pyc
src/rulesets/__pycache__/counter.cpython-39.pyc
src/rulesets/__pycache__/evens.cpython-310.pyc
src/rulesets/__pycache__/evens.cpython-39.pyc
src/rulesets/__pycache__/odds.cpython-310.pyc
src/rulesets/__pycache__/odds.cpython-39.pyc
src/rulesets/__pycache__/prefills.cpython-310.pyc
src/rulesets/__pycache__/prefills.cpython-39.pyc
src/rulesets/__pycache__/rulesets.cpython-310.pyc
src/rulesets/__pycache__/rulesets.cpython-39.pyc
src/rulesets/__pycache__/thermometer.cpython-310.pyc
src/rulesets/__pycache__/thermometer.cpython-39.pyc
src/rulesets/static/basic_rules.txt
src/rulesets/static/basic_rules_smt.txt
sudoku_sat.egg-info/PKG-INFO
sudoku_sat.egg-info/SOURCES.txt
sudoku_sat.egg-info/dependency_links.txt
sudoku_sat.egg-info/entry_points.txt
sudoku_sat.egg-info/not-zip-safe
sudoku_sat.egg-info/requires.txt
sudoku_sat.egg-info/top_level.txt