├── .gitignore ├── .gitmodules ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── analysis ├── README.md ├── Study_5_0.smt ├── Study_5_0.txt ├── Study_5_0_small.smt ├── Study_8_0.smt ├── Study_8_0.txt └── Study_8_0_small.smt ├── diagram.md ├── diagram_staging_SMT.md ├── holey ├── __init__.py ├── backend.py ├── core.py ├── llm.py ├── llm_solver.py └── preprocessor.py ├── log ├── result.txt ├── result_claude_extrapolation.txt ├── results.txt ├── results_extrapolate1.txt ├── results_extrapolate2.txt ├── results_float.txt ├── results_gemini_extrapolation.txt ├── results_gpt-oss.txt ├── results_list.txt ├── results_llm.txt ├── results_ollama.txt ├── results_symbolic.txt ├── results_symbolic_all.txt └── results_vertex.txt ├── puzzle_solver.py ├── pyproject.toml └── tests └── test_core.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/.gitmodules -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/README.md -------------------------------------------------------------------------------- /analysis/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/analysis/README.md -------------------------------------------------------------------------------- /analysis/Study_5_0.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/analysis/Study_5_0.smt -------------------------------------------------------------------------------- /analysis/Study_5_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/analysis/Study_5_0.txt -------------------------------------------------------------------------------- /analysis/Study_5_0_small.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/analysis/Study_5_0_small.smt -------------------------------------------------------------------------------- /analysis/Study_8_0.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/analysis/Study_8_0.smt -------------------------------------------------------------------------------- /analysis/Study_8_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/analysis/Study_8_0.txt -------------------------------------------------------------------------------- /analysis/Study_8_0_small.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/analysis/Study_8_0_small.smt -------------------------------------------------------------------------------- /diagram.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/diagram.md -------------------------------------------------------------------------------- /diagram_staging_SMT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/diagram_staging_SMT.md -------------------------------------------------------------------------------- /holey/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/holey/__init__.py -------------------------------------------------------------------------------- /holey/backend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/holey/backend.py -------------------------------------------------------------------------------- /holey/core.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/holey/core.py -------------------------------------------------------------------------------- /holey/llm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/holey/llm.py -------------------------------------------------------------------------------- /holey/llm_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/holey/llm_solver.py -------------------------------------------------------------------------------- /holey/preprocessor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/holey/preprocessor.py -------------------------------------------------------------------------------- /log/result.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/log/result.txt -------------------------------------------------------------------------------- /log/result_claude_extrapolation.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/log/result_claude_extrapolation.txt -------------------------------------------------------------------------------- /log/results.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/log/results.txt -------------------------------------------------------------------------------- /log/results_extrapolate1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/log/results_extrapolate1.txt -------------------------------------------------------------------------------- /log/results_extrapolate2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/log/results_extrapolate2.txt -------------------------------------------------------------------------------- /log/results_float.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/log/results_float.txt -------------------------------------------------------------------------------- /log/results_gemini_extrapolation.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/log/results_gemini_extrapolation.txt -------------------------------------------------------------------------------- /log/results_gpt-oss.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/log/results_gpt-oss.txt -------------------------------------------------------------------------------- /log/results_list.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/log/results_list.txt -------------------------------------------------------------------------------- /log/results_llm.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/log/results_llm.txt -------------------------------------------------------------------------------- /log/results_ollama.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/log/results_ollama.txt -------------------------------------------------------------------------------- /log/results_symbolic.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/log/results_symbolic.txt -------------------------------------------------------------------------------- /log/results_symbolic_all.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/log/results_symbolic_all.txt -------------------------------------------------------------------------------- /log/results_vertex.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/log/results_vertex.txt -------------------------------------------------------------------------------- /puzzle_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/puzzle_solver.py -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/pyproject.toml -------------------------------------------------------------------------------- /tests/test_core.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/holey/HEAD/tests/test_core.py --------------------------------------------------------------------------------