ai9414 0.1.0__tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (158) hide show
  1. ai9414-0.1.0/.gitignore +61 -0
  2. ai9414-0.1.0/AUTHORS +1 -0
  3. ai9414-0.1.0/LICENSE +673 -0
  4. ai9414-0.1.0/PKG-INFO +651 -0
  5. ai9414-0.1.0/README.md +618 -0
  6. ai9414-0.1.0/docs/architecture.md +99 -0
  7. ai9414-0.1.0/docs/images/bnb-demo.png +0 -0
  8. ai9414-0.1.0/docs/pypi-release.md +71 -0
  9. ai9414-0.1.0/examples/csp_demo.py +5 -0
  10. ai9414-0.1.0/examples/delivery_csp_demo.py +5 -0
  11. ai9414-0.1.0/examples/foundation_models_demo.py +5 -0
  12. ai9414-0.1.0/examples/graph_astar_demo.py +5 -0
  13. ai9414-0.1.0/examples/graph_bfs_demo.py +5 -0
  14. ai9414-0.1.0/examples/graph_branch_and_bound_demo.py +5 -0
  15. ai9414-0.1.0/examples/graph_dfs_demo.py +5 -0
  16. ai9414-0.1.0/examples/graph_gbfs_demo.py +5 -0
  17. ai9414-0.1.0/examples/graph_ucs_demo.py +5 -0
  18. ai9414-0.1.0/examples/labyrinth_demo.py +5 -0
  19. ai9414-0.1.0/examples/logic_dpll_demo.py +4 -0
  20. ai9414-0.1.0/examples/placeholder_incremental.py +5 -0
  21. ai9414-0.1.0/examples/placeholder_precomputed.py +5 -0
  22. ai9414-0.1.0/examples/strips_demo.py +4 -0
  23. ai9414-0.1.0/examples/uncertainty_demo.py +5 -0
  24. ai9414-0.1.0/pyproject.toml +83 -0
  25. ai9414-0.1.0/src/ai9414/__init__.py +36 -0
  26. ai9414-0.1.0/src/ai9414/__main__.py +5 -0
  27. ai9414-0.1.0/src/ai9414/cli.py +386 -0
  28. ai9414-0.1.0/src/ai9414/core/__init__.py +35 -0
  29. ai9414-0.1.0/src/ai9414/core/app.py +405 -0
  30. ai9414-0.1.0/src/ai9414/core/config.py +51 -0
  31. ai9414-0.1.0/src/ai9414/core/errors.py +26 -0
  32. ai9414-0.1.0/src/ai9414/core/models.py +102 -0
  33. ai9414-0.1.0/src/ai9414/core/server.py +132 -0
  34. ai9414-0.1.0/src/ai9414/csp/__init__.py +17 -0
  35. ai9414-0.1.0/src/ai9414/csp/api.py +279 -0
  36. ai9414-0.1.0/src/ai9414/csp/examples.py +469 -0
  37. ai9414-0.1.0/src/ai9414/csp/models.py +205 -0
  38. ai9414-0.1.0/src/ai9414/csp/solver.py +168 -0
  39. ai9414-0.1.0/src/ai9414/csp/student.py +235 -0
  40. ai9414-0.1.0/src/ai9414/csp/trace.py +441 -0
  41. ai9414-0.1.0/src/ai9414/delivery_csp/__init__.py +17 -0
  42. ai9414-0.1.0/src/ai9414/delivery_csp/api.py +245 -0
  43. ai9414-0.1.0/src/ai9414/delivery_csp/examples.py +186 -0
  44. ai9414-0.1.0/src/ai9414/delivery_csp/models.py +146 -0
  45. ai9414-0.1.0/src/ai9414/delivery_csp/solver.py +215 -0
  46. ai9414-0.1.0/src/ai9414/delivery_csp/student.py +216 -0
  47. ai9414-0.1.0/src/ai9414/delivery_csp/trace.py +472 -0
  48. ai9414-0.1.0/src/ai9414/demo/__init__.py +6 -0
  49. ai9414-0.1.0/src/ai9414/demo/api.py +181 -0
  50. ai9414-0.1.0/src/ai9414/foundation_models/__init__.py +12 -0
  51. ai9414-0.1.0/src/ai9414/foundation_models/api.py +283 -0
  52. ai9414-0.1.0/src/ai9414/foundation_models/examples.py +110 -0
  53. ai9414-0.1.0/src/ai9414/foundation_models/models.py +116 -0
  54. ai9414-0.1.0/src/ai9414/foundation_models/student.py +80 -0
  55. ai9414-0.1.0/src/ai9414/foundation_models/trace.py +345 -0
  56. ai9414-0.1.0/src/ai9414/frontend/__init__.py +2 -0
  57. ai9414-0.1.0/src/ai9414/frontend/solution/__init__.py +2 -0
  58. ai9414-0.1.0/src/ai9414/frontend/solution/app.js +2530 -0
  59. ai9414-0.1.0/src/ai9414/frontend/solution/index.html +188 -0
  60. ai9414-0.1.0/src/ai9414/frontend/solution/style.css +76 -0
  61. ai9414-0.1.0/src/ai9414/frontend/student/__init__.py +2 -0
  62. ai9414-0.1.0/src/ai9414/frontend/student/app.js +8156 -0
  63. ai9414-0.1.0/src/ai9414/frontend/student/index.html +331 -0
  64. ai9414-0.1.0/src/ai9414/frontend/student/style.css +2027 -0
  65. ai9414-0.1.0/src/ai9414/graph_astar/__init__.py +23 -0
  66. ai9414-0.1.0/src/ai9414/graph_astar/api.py +186 -0
  67. ai9414-0.1.0/src/ai9414/graph_astar/examples.py +30 -0
  68. ai9414-0.1.0/src/ai9414/graph_astar/generator.py +11 -0
  69. ai9414-0.1.0/src/ai9414/graph_astar/models.py +51 -0
  70. ai9414-0.1.0/src/ai9414/graph_astar/solver.py +391 -0
  71. ai9414-0.1.0/src/ai9414/graph_astar/student.py +233 -0
  72. ai9414-0.1.0/src/ai9414/graph_astar/trace.py +115 -0
  73. ai9414-0.1.0/src/ai9414/graph_bfs/__init__.py +21 -0
  74. ai9414-0.1.0/src/ai9414/graph_bfs/api.py +171 -0
  75. ai9414-0.1.0/src/ai9414/graph_bfs/examples.py +24 -0
  76. ai9414-0.1.0/src/ai9414/graph_bfs/generator.py +11 -0
  77. ai9414-0.1.0/src/ai9414/graph_bfs/models.py +50 -0
  78. ai9414-0.1.0/src/ai9414/graph_bfs/solver.py +321 -0
  79. ai9414-0.1.0/src/ai9414/graph_bfs/student.py +198 -0
  80. ai9414-0.1.0/src/ai9414/graph_bfs/trace.py +152 -0
  81. ai9414-0.1.0/src/ai9414/graph_dfs/__init__.py +21 -0
  82. ai9414-0.1.0/src/ai9414/graph_dfs/api.py +196 -0
  83. ai9414-0.1.0/src/ai9414/graph_dfs/examples.py +24 -0
  84. ai9414-0.1.0/src/ai9414/graph_dfs/generator.py +35 -0
  85. ai9414-0.1.0/src/ai9414/graph_dfs/models.py +94 -0
  86. ai9414-0.1.0/src/ai9414/graph_dfs/solver.py +306 -0
  87. ai9414-0.1.0/src/ai9414/graph_dfs/student.py +199 -0
  88. ai9414-0.1.0/src/ai9414/graph_dfs/trace.py +151 -0
  89. ai9414-0.1.0/src/ai9414/graph_gbfs/__init__.py +23 -0
  90. ai9414-0.1.0/src/ai9414/graph_gbfs/api.py +186 -0
  91. ai9414-0.1.0/src/ai9414/graph_gbfs/examples.py +30 -0
  92. ai9414-0.1.0/src/ai9414/graph_gbfs/generator.py +11 -0
  93. ai9414-0.1.0/src/ai9414/graph_gbfs/models.py +51 -0
  94. ai9414-0.1.0/src/ai9414/graph_gbfs/solver.py +375 -0
  95. ai9414-0.1.0/src/ai9414/graph_gbfs/student.py +225 -0
  96. ai9414-0.1.0/src/ai9414/graph_gbfs/trace.py +157 -0
  97. ai9414-0.1.0/src/ai9414/graph_ucs/__init__.py +21 -0
  98. ai9414-0.1.0/src/ai9414/graph_ucs/api.py +189 -0
  99. ai9414-0.1.0/src/ai9414/graph_ucs/examples.py +24 -0
  100. ai9414-0.1.0/src/ai9414/graph_ucs/generator.py +11 -0
  101. ai9414-0.1.0/src/ai9414/graph_ucs/models.py +51 -0
  102. ai9414-0.1.0/src/ai9414/graph_ucs/solver.py +392 -0
  103. ai9414-0.1.0/src/ai9414/graph_ucs/student.py +222 -0
  104. ai9414-0.1.0/src/ai9414/graph_ucs/trace.py +159 -0
  105. ai9414-0.1.0/src/ai9414/labyrinth/__init__.py +33 -0
  106. ai9414-0.1.0/src/ai9414/labyrinth/api.py +197 -0
  107. ai9414-0.1.0/src/ai9414/labyrinth/examples.py +31 -0
  108. ai9414-0.1.0/src/ai9414/labyrinth/generator.py +50 -0
  109. ai9414-0.1.0/src/ai9414/labyrinth/models.py +73 -0
  110. ai9414-0.1.0/src/ai9414/labyrinth/solver.py +294 -0
  111. ai9414-0.1.0/src/ai9414/labyrinth/student.py +272 -0
  112. ai9414-0.1.0/src/ai9414/labyrinth/trace.py +147 -0
  113. ai9414-0.1.0/src/ai9414/logic/__init__.py +6 -0
  114. ai9414-0.1.0/src/ai9414/logic/api.py +278 -0
  115. ai9414-0.1.0/src/ai9414/logic/examples.py +123 -0
  116. ai9414-0.1.0/src/ai9414/logic/models.py +123 -0
  117. ai9414-0.1.0/src/ai9414/logic/parser.py +274 -0
  118. ai9414-0.1.0/src/ai9414/logic/solver.py +663 -0
  119. ai9414-0.1.0/src/ai9414/logic/student.py +203 -0
  120. ai9414-0.1.0/src/ai9414/logic/trace.py +121 -0
  121. ai9414-0.1.0/src/ai9414/search/__init__.py +21 -0
  122. ai9414-0.1.0/src/ai9414/search/api.py +216 -0
  123. ai9414-0.1.0/src/ai9414/search/configs.py +5 -0
  124. ai9414-0.1.0/src/ai9414/search/examples.py +28 -0
  125. ai9414-0.1.0/src/ai9414/search/generator.py +179 -0
  126. ai9414-0.1.0/src/ai9414/search/models.py +98 -0
  127. ai9414-0.1.0/src/ai9414/search/solver.py +369 -0
  128. ai9414-0.1.0/src/ai9414/search/student.py +237 -0
  129. ai9414-0.1.0/src/ai9414/search/trace.py +157 -0
  130. ai9414-0.1.0/src/ai9414/strips/__init__.py +21 -0
  131. ai9414-0.1.0/src/ai9414/strips/api.py +145 -0
  132. ai9414-0.1.0/src/ai9414/strips/examples.py +60 -0
  133. ai9414-0.1.0/src/ai9414/strips/models.py +98 -0
  134. ai9414-0.1.0/src/ai9414/strips/solver.py +436 -0
  135. ai9414-0.1.0/src/ai9414/strips/student.py +230 -0
  136. ai9414-0.1.0/src/ai9414/strips/trace.py +183 -0
  137. ai9414-0.1.0/src/ai9414/uncertainty/__init__.py +21 -0
  138. ai9414-0.1.0/src/ai9414/uncertainty/api.py +171 -0
  139. ai9414-0.1.0/src/ai9414/uncertainty/examples.py +341 -0
  140. ai9414-0.1.0/src/ai9414/uncertainty/models.py +155 -0
  141. ai9414-0.1.0/src/ai9414/uncertainty/student.py +114 -0
  142. ai9414-0.1.0/src/ai9414/uncertainty/trace.py +398 -0
  143. ai9414-0.1.0/tests/conftest.py +56 -0
  144. ai9414-0.1.0/tests/test_cli.py +146 -0
  145. ai9414-0.1.0/tests/test_core.py +167 -0
  146. ai9414-0.1.0/tests/test_csp.py +112 -0
  147. ai9414-0.1.0/tests/test_delivery_csp.py +131 -0
  148. ai9414-0.1.0/tests/test_foundation_models.py +57 -0
  149. ai9414-0.1.0/tests/test_graph_astar.py +100 -0
  150. ai9414-0.1.0/tests/test_graph_bfs.py +92 -0
  151. ai9414-0.1.0/tests/test_graph_dfs.py +99 -0
  152. ai9414-0.1.0/tests/test_graph_gbfs.py +98 -0
  153. ai9414-0.1.0/tests/test_graph_ucs.py +99 -0
  154. ai9414-0.1.0/tests/test_labyrinth.py +119 -0
  155. ai9414-0.1.0/tests/test_logic.py +108 -0
  156. ai9414-0.1.0/tests/test_search_live.py +71 -0
  157. ai9414-0.1.0/tests/test_strips.py +109 -0
  158. ai9414-0.1.0/tests/test_uncertainty.py +62 -0
ai9414-0.1.0/.gitignore ADDED
@@ -0,0 +1,61 @@
1
+ # OS and editor clutter
2
+ .DS_Store
3
+ Thumbs.db
4
+ .idea/
5
+ .vscode/
6
+
7
+ # Python virtual environments
8
+ .venv/
9
+ venv/
10
+ env/
11
+ ENV/
12
+
13
+ # Python build and packaging artefacts
14
+ build/
15
+ dist/
16
+ site/
17
+ *.egg-info/
18
+ .eggs/
19
+ pip-wheel-metadata/
20
+
21
+ # Python caches and test artefacts
22
+ __pycache__/
23
+ *.py[cod]
24
+ *.pyo
25
+ *.pyd
26
+ .python-version
27
+ .pytest_cache/
28
+ .mypy_cache/
29
+ .ruff_cache/
30
+ .pyre/
31
+ .hypothesis/
32
+ .tox/
33
+ .nox/
34
+ .coverage
35
+ .coverage.*
36
+ htmlcov/
37
+
38
+ # Local runtime files
39
+ *.log
40
+ *.out
41
+ *.pid
42
+
43
+ # Jupyter
44
+ .ipynb_checkpoints/
45
+
46
+ # JavaScript and frontend dependencies
47
+ node_modules/
48
+ .npm/
49
+ .pnpm-store/
50
+ .yarn/
51
+ .parcel-cache/
52
+
53
+ # JavaScript and frontend build artefacts
54
+ coverage/
55
+ *.tsbuildinfo
56
+ .next/
57
+ .nuxt/
58
+ .svelte-kit/
59
+ .vite/
60
+ vite.svg
61
+
ai9414-0.1.0/AUTHORS ADDED
@@ -0,0 +1 @@
1
+ Oliver Obst <o.obst@unsw.edu.au>