unicode-logic-kit 0.31.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 (281) hide show
  1. unicode_logic_kit-0.31.0/.gitignore +190 -0
  2. unicode_logic_kit-0.31.0/CHANGELOG.md +4754 -0
  3. unicode_logic_kit-0.31.0/LICENSE +21 -0
  4. unicode_logic_kit-0.31.0/PKG-INFO +333 -0
  5. unicode_logic_kit-0.31.0/README.md +278 -0
  6. unicode_logic_kit-0.31.0/docs/.gitignore +2 -0
  7. unicode_logic_kit-0.31.0/docs/_static/.gitkeep +0 -0
  8. unicode_logic_kit-0.31.0/docs/_templates/.gitkeep +0 -0
  9. unicode_logic_kit-0.31.0/docs/api.md +1774 -0
  10. unicode_logic_kit-0.31.0/docs/changelog.md +5 -0
  11. unicode_logic_kit-0.31.0/docs/conf.py +115 -0
  12. unicode_logic_kit-0.31.0/docs/guide/batch-checking.md +234 -0
  13. unicode_logic_kit-0.31.0/docs/guide/choosing.md +427 -0
  14. unicode_logic_kit-0.31.0/docs/guide/classical-reasoning.md +1200 -0
  15. unicode_logic_kit-0.31.0/docs/guide/dependence.md +193 -0
  16. unicode_logic_kit-0.31.0/docs/guide/derivations.md +109 -0
  17. unicode_logic_kit-0.31.0/docs/guide/description-logic.md +1995 -0
  18. unicode_logic_kit-0.31.0/docs/guide/exercises.md +131 -0
  19. unicode_logic_kit-0.31.0/docs/guide/finite-domain.md +877 -0
  20. unicode_logic_kit-0.31.0/docs/guide/fuzzy.md +562 -0
  21. unicode_logic_kit-0.31.0/docs/guide/higher-order.md +1049 -0
  22. unicode_logic_kit-0.31.0/docs/guide/hybrid.md +274 -0
  23. unicode_logic_kit-0.31.0/docs/guide/installation.md +58 -0
  24. unicode_logic_kit-0.31.0/docs/guide/interoperability.md +1752 -0
  25. unicode_logic_kit-0.31.0/docs/guide/intuitionistic.md +482 -0
  26. unicode_logic_kit-0.31.0/docs/guide/lean.md +294 -0
  27. unicode_logic_kit-0.31.0/docs/guide/linear-temporal.md +240 -0
  28. unicode_logic_kit-0.31.0/docs/guide/logic-graph.md +449 -0
  29. unicode_logic_kit-0.31.0/docs/guide/many-valued.md +624 -0
  30. unicode_logic_kit-0.31.0/docs/guide/mcp.md +488 -0
  31. unicode_logic_kit-0.31.0/docs/guide/modal.md +1060 -0
  32. unicode_logic_kit-0.31.0/docs/guide/model-checking.md +405 -0
  33. unicode_logic_kit-0.31.0/docs/guide/natural-language.md +562 -0
  34. unicode_logic_kit-0.31.0/docs/guide/nonclassical.md +847 -0
  35. unicode_logic_kit-0.31.0/docs/guide/parsing.md +846 -0
  36. unicode_logic_kit-0.31.0/docs/guide/probabilistic.md +324 -0
  37. unicode_logic_kit-0.31.0/docs/guide/quantified-modal.md +875 -0
  38. unicode_logic_kit-0.31.0/docs/guide/quickstart.md +960 -0
  39. unicode_logic_kit-0.31.0/docs/guide/relevant.md +180 -0
  40. unicode_logic_kit-0.31.0/docs/guide/second-order.md +617 -0
  41. unicode_logic_kit-0.31.0/docs/guide/substructural.md +310 -0
  42. unicode_logic_kit-0.31.0/docs/guide/syntax-reference.md +571 -0
  43. unicode_logic_kit-0.31.0/docs/guide/third-order.md +236 -0
  44. unicode_logic_kit-0.31.0/docs/guide/transforms.md +814 -0
  45. unicode_logic_kit-0.31.0/docs/guide/verification.md +257 -0
  46. unicode_logic_kit-0.31.0/docs/index.md +98 -0
  47. unicode_logic_kit-0.31.0/docs/requirements.txt +4 -0
  48. unicode_logic_kit-0.31.0/pyproject.toml +208 -0
  49. unicode_logic_kit-0.31.0/unicode_logic_kit/__init__.py +385 -0
  50. unicode_logic_kit-0.31.0/unicode_logic_kit/__main__.py +520 -0
  51. unicode_logic_kit-0.31.0/unicode_logic_kit/_deadline.py +219 -0
  52. unicode_logic_kit-0.31.0/unicode_logic_kit/ace/__init__.py +126 -0
  53. unicode_logic_kit-0.31.0/unicode_logic_kit/ace/_align.py +135 -0
  54. unicode_logic_kit-0.31.0/unicode_logic_kit/ace/chem_lexicon.py +128 -0
  55. unicode_logic_kit-0.31.0/unicode_logic_kit/ace/drs_reader.py +570 -0
  56. unicode_logic_kit-0.31.0/unicode_logic_kit/ace/mapping.py +666 -0
  57. unicode_logic_kit-0.31.0/unicode_logic_kit/ace/reverse_modal.py +138 -0
  58. unicode_logic_kit-0.31.0/unicode_logic_kit/ace/runner.py +551 -0
  59. unicode_logic_kit-0.31.0/unicode_logic_kit/ace/translate.py +452 -0
  60. unicode_logic_kit-0.31.0/unicode_logic_kit/ace/verbalize.py +1070 -0
  61. unicode_logic_kit-0.31.0/unicode_logic_kit/api.py +1284 -0
  62. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/__init__.py +177 -0
  63. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/_ascii_names.py +113 -0
  64. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/_html.py +72 -0
  65. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/_substructural_input.py +228 -0
  66. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/_tff_problem.py +715 -0
  67. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/_tptp_problem.py +1111 -0
  68. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/_writer_support.py +289 -0
  69. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/clingo_backend.py +1180 -0
  70. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/cvc5_backend.py +1385 -0
  71. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/eprover_backend.py +732 -0
  72. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/finite_domain.py +1055 -0
  73. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/fitch.py +1547 -0
  74. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/fitch_search.py +551 -0
  75. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/hets_backend.py +339 -0
  76. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/hybrid_down.py +120 -0
  77. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/incremental.py +250 -0
  78. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/kripke_enum.py +741 -0
  79. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/lambek.py +436 -0
  80. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/leo3_backend.py +332 -0
  81. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/linear.py +738 -0
  82. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/lj.py +705 -0
  83. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/logic_backends.py +566 -0
  84. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/ltl_tableau.py +1084 -0
  85. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/minizinc_backend.py +1402 -0
  86. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/modal_tableau.py +1382 -0
  87. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/nanocop_backend.py +410 -0
  88. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/portfolio.py +489 -0
  89. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/protocol.py +1803 -0
  90. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/prover9_entailment.py +1153 -0
  91. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/resolution.py +1376 -0
  92. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/resolution_check.py +1114 -0
  93. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/sequent.py +1050 -0
  94. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/tableau.py +921 -0
  95. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/tableau_check.py +543 -0
  96. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/tptp_ncl.py +811 -0
  97. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/tptp_tff.py +1546 -0
  98. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/tstp.py +1333 -0
  99. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/tstp_check.py +1096 -0
  100. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/twee_backend.py +236 -0
  101. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/twee_check.py +711 -0
  102. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/twee_entailment.py +953 -0
  103. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/vampire_entailment.py +540 -0
  104. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/z3_arith.py +470 -0
  105. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/z3_equivalence.py +36 -0
  106. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/z3_fuzzy.py +362 -0
  107. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/z3_input.py +500 -0
  108. unicode_logic_kit-0.31.0/unicode_logic_kit/atp/z3_models.py +208 -0
  109. unicode_logic_kit-0.31.0/unicode_logic_kit/chem/__init__.py +88 -0
  110. unicode_logic_kit-0.31.0/unicode_logic_kit/chem/_naming.py +284 -0
  111. unicode_logic_kit-0.31.0/unicode_logic_kit/chem/cache.py +185 -0
  112. unicode_logic_kit-0.31.0/unicode_logic_kit/chem/interop.py +244 -0
  113. unicode_logic_kit-0.31.0/unicode_logic_kit/chem/mol.py +525 -0
  114. unicode_logic_kit-0.31.0/unicode_logic_kit/chem/signature.py +112 -0
  115. unicode_logic_kit-0.31.0/unicode_logic_kit/comorphism.py +497 -0
  116. unicode_logic_kit-0.31.0/unicode_logic_kit/dl/__init__.py +384 -0
  117. unicode_logic_kit-0.31.0/unicode_logic_kit/dl/classification.py +227 -0
  118. unicode_logic_kit-0.31.0/unicode_logic_kit/dl/concepts.py +632 -0
  119. unicode_logic_kit-0.31.0/unicode_logic_kit/dl/datatypes.py +818 -0
  120. unicode_logic_kit-0.31.0/unicode_logic_kit/dl/owl_functional.py +2433 -0
  121. unicode_logic_kit-0.31.0/unicode_logic_kit/dl/owl_manchester.py +1637 -0
  122. unicode_logic_kit-0.31.0/unicode_logic_kit/dl/owl_reasoner.py +790 -0
  123. unicode_logic_kit-0.31.0/unicode_logic_kit/dl/parser.py +391 -0
  124. unicode_logic_kit-0.31.0/unicode_logic_kit/dl/tableau.py +4048 -0
  125. unicode_logic_kit-0.31.0/unicode_logic_kit/dl/translate.py +2704 -0
  126. unicode_logic_kit-0.31.0/unicode_logic_kit/drt/__init__.py +94 -0
  127. unicode_logic_kit-0.31.0/unicode_logic_kit/drt/export.py +179 -0
  128. unicode_logic_kit-0.31.0/unicode_logic_kit/drt/nodes.py +506 -0
  129. unicode_logic_kit-0.31.0/unicode_logic_kit/drt/parser.py +965 -0
  130. unicode_logic_kit-0.31.0/unicode_logic_kit/drt/resolve.py +195 -0
  131. unicode_logic_kit-0.31.0/unicode_logic_kit/drt/reverse.py +175 -0
  132. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/__init__.py +106 -0
  133. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/batch.py +382 -0
  134. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/canonical.py +663 -0
  135. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/chem_batch.py +606 -0
  136. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/converses.py +200 -0
  137. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/__init__.py +136 -0
  138. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/_base.py +263 -0
  139. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/_proofwriter_proof.py +422 -0
  140. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/c3po.py +678 -0
  141. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/folio.py +158 -0
  142. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/fracas.py +418 -0
  143. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/groves.py +191 -0
  144. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/logicbench.py +467 -0
  145. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/logicnli.py +303 -0
  146. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/malls.py +133 -0
  147. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/pfolio.py +594 -0
  148. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/pmb.py +242 -0
  149. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/prontoqa.py +611 -0
  150. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/proofwriter.py +1431 -0
  151. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/proverqa.py +674 -0
  152. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/willow.py +478 -0
  153. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/equivalence.py +466 -0
  154. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/exercise_gen.py +533 -0
  155. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/explain.py +791 -0
  156. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/generality.py +750 -0
  157. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/metric_hf.py +458 -0
  158. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/predicate_match.py +343 -0
  159. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/theory_check.py +1170 -0
  160. unicode_logic_kit-0.31.0/unicode_logic_kit/eval/validate.py +306 -0
  161. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/__init__.py +177 -0
  162. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_atom_keys.py +510 -0
  163. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_fol_nodes.py +3586 -0
  164. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_free_parameters.py +105 -0
  165. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_ho_nodes.py +448 -0
  166. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_hybrid_nodes.py +308 -0
  167. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_identifiers.py +1091 -0
  168. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_lambek_nodes.py +112 -0
  169. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_linear_nodes.py +352 -0
  170. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_modal_nodes.py +1467 -0
  171. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_msfl_nodes.py +2196 -0
  172. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_numeral_symbols.py +231 -0
  173. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_so_nodes.py +200 -0
  174. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_symbol_names.py +81 -0
  175. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_team_nodes.py +181 -0
  176. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_tptp_symbols.py +551 -0
  177. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_truth_constants.py +117 -0
  178. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/casl_export.py +1135 -0
  179. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/casl_import.py +929 -0
  180. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/derivation.py +367 -0
  181. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/dialect_detect.py +70 -0
  182. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/dialect_repair.py +537 -0
  183. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/frames.py +637 -0
  184. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/grammars/terminals.lark +31 -0
  185. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/lambda_tools.py +297 -0
  186. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/latex_input.py +429 -0
  187. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/modal_translation.py +944 -0
  188. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/msflparser.py +1033 -0
  189. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/naming.py +422 -0
  190. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/nodes.py +241 -0
  191. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/normalforms.py +492 -0
  192. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/pal.py +287 -0
  193. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/prolog_export.py +566 -0
  194. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/prolog_input.py +505 -0
  195. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/prover9_input.py +1325 -0
  196. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/qml.py +1760 -0
  197. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/qmltp_input.py +525 -0
  198. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/sanitize.py +221 -0
  199. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/serialize.py +79 -0
  200. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/signature.py +1290 -0
  201. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/simplify_check.py +544 -0
  202. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/spans.py +594 -0
  203. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/tptp_input.py +1503 -0
  204. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/tptp_repair.py +941 -0
  205. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/unification.py +157 -0
  206. unicode_logic_kit-0.31.0/unicode_logic_kit/fol/verbalize.py +263 -0
  207. unicode_logic_kit-0.31.0/unicode_logic_kit/hets/__init__.py +163 -0
  208. unicode_logic_kit-0.31.0/unicode_logic_kit/hets/bridge.py +142 -0
  209. unicode_logic_kit-0.31.0/unicode_logic_kit/hets/client.py +748 -0
  210. unicode_logic_kit-0.31.0/unicode_logic_kit/hets/docker.py +420 -0
  211. unicode_logic_kit-0.31.0/unicode_logic_kit/hets/dol.py +712 -0
  212. unicode_logic_kit-0.31.0/unicode_logic_kit/hets/haskell_json.py +355 -0
  213. unicode_logic_kit-0.31.0/unicode_logic_kit/hets/owl_backend.py +794 -0
  214. unicode_logic_kit-0.31.0/unicode_logic_kit/hets/owl_cli.py +598 -0
  215. unicode_logic_kit-0.31.0/unicode_logic_kit/hets/symbols.py +512 -0
  216. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/__init__.py +140 -0
  217. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/_ho_common.py +323 -0
  218. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/_isabelle_binders.py +125 -0
  219. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/classical.py +812 -0
  220. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/deepshallow/__init__.py +45 -0
  221. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/deepshallow/_common.py +177 -0
  222. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/deepshallow/conditional.py +225 -0
  223. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/deepshallow/intuitionistic.py +181 -0
  224. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/deepshallow/modal.py +217 -0
  225. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/deepshallow/qml.py +406 -0
  226. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/deepshallow/relevant.py +206 -0
  227. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/free.py +753 -0
  228. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/goedel.py +336 -0
  229. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/ho_modal.py +1743 -0
  230. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/intuitionistic.py +403 -0
  231. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/isabelle_conditional.py +593 -0
  232. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/isabelle_modal.py +1908 -0
  233. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/isabelle_relevant.py +412 -0
  234. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/isabelle_runner.py +1147 -0
  235. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/isabelle_substructural.py +884 -0
  236. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/lean.py +1018 -0
  237. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/manyvalued.py +921 -0
  238. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/secondorder.py +687 -0
  239. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/thf_modal.py +941 -0
  240. unicode_logic_kit-0.31.0/unicode_logic_kit/hol/thirdorder.py +397 -0
  241. unicode_logic_kit-0.31.0/unicode_logic_kit/ilp/__init__.py +89 -0
  242. unicode_logic_kit-0.31.0/unicode_logic_kit/ilp/readback.py +389 -0
  243. unicode_logic_kit-0.31.0/unicode_logic_kit/ilp/separation.py +153 -0
  244. unicode_logic_kit-0.31.0/unicode_logic_kit/ilp/task.py +730 -0
  245. unicode_logic_kit-0.31.0/unicode_logic_kit/logic.py +163 -0
  246. unicode_logic_kit-0.31.0/unicode_logic_kit/mcp/__init__.py +28 -0
  247. unicode_logic_kit-0.31.0/unicode_logic_kit/mcp/__main__.py +5 -0
  248. unicode_logic_kit-0.31.0/unicode_logic_kit/mcp/chem_tools.py +1031 -0
  249. unicode_logic_kit-0.31.0/unicode_logic_kit/mcp/server.py +2453 -0
  250. unicode_logic_kit-0.31.0/unicode_logic_kit/mcp/syntax_spec.py +681 -0
  251. unicode_logic_kit-0.31.0/unicode_logic_kit/prob/__init__.py +53 -0
  252. unicode_logic_kit-0.31.0/unicode_logic_kit/prob/_bdd.py +225 -0
  253. unicode_logic_kit-0.31.0/unicode_logic_kit/prob/_column_gen.py +668 -0
  254. unicode_logic_kit-0.31.0/unicode_logic_kit/prob/distribution.py +686 -0
  255. unicode_logic_kit-0.31.0/unicode_logic_kit/prob/nilsson.py +470 -0
  256. unicode_logic_kit-0.31.0/unicode_logic_kit/py.typed +0 -0
  257. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/__init__.py +137 -0
  258. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/_modal_reject.py +156 -0
  259. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/action_models.py +466 -0
  260. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/asp_models.py +1200 -0
  261. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/conditional.py +580 -0
  262. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/dynamic_epistemic.py +95 -0
  263. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/free_logic.py +913 -0
  264. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/fuzzy.py +384 -0
  265. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/fuzzy_kripke.py +442 -0
  266. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/intuitionistic.py +581 -0
  267. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/kripke.py +1139 -0
  268. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/manyvalued.py +580 -0
  269. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/matrix.py +342 -0
  270. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/model_eval.py +1135 -0
  271. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/modelfinder.py +1036 -0
  272. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/nonmonotonic.py +372 -0
  273. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/relevant.py +331 -0
  274. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/secondorder.py +657 -0
  275. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/structures.py +352 -0
  276. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/tarski.py +975 -0
  277. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/team.py +315 -0
  278. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/team_translation.py +416 -0
  279. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/thirdorder.py +358 -0
  280. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/tnorm.py +85 -0
  281. unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/truthtable.py +201 -0
@@ -0,0 +1,190 @@
1
+ # Byte-compiled / optimized / DLL files
2
+ __pycache__/
3
+ *.py[cod]
4
+ *$py.class
5
+
6
+ # C extensions
7
+ *.so
8
+
9
+ # Distribution / packaging
10
+ .Python
11
+ build/
12
+ develop-eggs/
13
+ dist/
14
+ downloads/
15
+ eggs/
16
+ .eggs/
17
+ lib/
18
+ lib64/
19
+ parts/
20
+ sdist/
21
+ var/
22
+ wheels/
23
+ share/python-wheels/
24
+ *.egg-info/
25
+ .installed.cfg
26
+ *.egg
27
+ MANIFEST
28
+
29
+ # PyInstaller
30
+ # Usually these files are written by a python script from a template
31
+ # before PyInstaller builds the exe, so as to inject date/other infos into it.
32
+ *.manifest
33
+ *.spec
34
+
35
+ # Installer logs
36
+ pip-log.txt
37
+ pip-delete-this-directory.txt
38
+
39
+ # Unit test / coverage reports
40
+ htmlcov/
41
+ .tox/
42
+ .nox/
43
+ .coverage
44
+ .coverage.*
45
+ .cache
46
+ nosetests.xml
47
+ coverage.xml
48
+ *.cover
49
+ *.py,cover
50
+ .hypothesis/
51
+ .pytest_cache/
52
+ cover/
53
+
54
+ # Translations
55
+ *.mo
56
+ *.pot
57
+
58
+ # Django stuff:
59
+ *.log
60
+ local_settings.py
61
+ db.sqlite3
62
+ db.sqlite3-journal
63
+
64
+ # Flask stuff:
65
+ instance/
66
+ .webassets-cache
67
+
68
+ # Scrapy stuff:
69
+ .scrapy
70
+
71
+ # Sphinx documentation
72
+ docs/_build/
73
+ # autosummary stubs are generated from the package on every build; a stale
74
+ # committed stub is worse than none (it survives a rename and renders the old
75
+ # object), which is why the sdist excludes them too.
76
+ docs/_autosummary/
77
+
78
+ # PyBuilder
79
+ .pybuilder/
80
+ target/
81
+
82
+ # Jupyter Notebook
83
+ .ipynb_checkpoints
84
+
85
+ # IPython
86
+ profile_default/
87
+ ipython_config.py
88
+
89
+ # pyenv
90
+ # For a library or package, you might want to ignore these files since the code is
91
+ # intended to run in multiple environments; otherwise, check them in:
92
+ # .python-version
93
+
94
+ # pipenv
95
+ # According to pypa/pipenv#598, it is recommended to include Pipfile.lock in version control.
96
+ # However, in case of collaboration, if having platform-specific dependencies or dependencies
97
+ # having no cross-platform support, pipenv may install dependencies that don't work, or not
98
+ # install all needed dependencies.
99
+ #Pipfile.lock
100
+
101
+ # UV
102
+ # Similar to Pipfile.lock, it is generally recommended to include uv.lock in version control.
103
+ # This is especially recommended for binary packages to ensure reproducibility, and is more
104
+ # commonly ignored for libraries.
105
+ #uv.lock
106
+
107
+ # poetry
108
+ # Similar to Pipfile.lock, it is generally recommended to include poetry.lock in version control.
109
+ # This is especially recommended for binary packages to ensure reproducibility, and is more
110
+ # commonly ignored for libraries.
111
+ # https://python-poetry.org/docs/basic-usage/#commit-your-poetrylock-file-to-version-control
112
+ #poetry.lock
113
+
114
+ # pdm
115
+ # Similar to Pipfile.lock, it is generally recommended to include pdm.lock in version control.
116
+ #pdm.lock
117
+ # pdm stores project-wide configurations in .pdm.toml, but it is recommended to not include it
118
+ # in version control.
119
+ # https://pdm.fming.dev/latest/usage/project/#working-with-version-control
120
+ .pdm.toml
121
+ .pdm-python
122
+ .pdm-build/
123
+
124
+ # PEP 582; used by e.g. github.com/David-OConnor/pyflow and github.com/pdm-project/pdm
125
+ __pypackages__/
126
+
127
+ # Celery stuff
128
+ celerybeat-schedule
129
+ celerybeat.pid
130
+
131
+ # SageMath parsed files
132
+ *.sage.py
133
+
134
+ # Environments
135
+ .env
136
+ .venv
137
+ env/
138
+ venv/
139
+ ENV/
140
+ env.bak/
141
+ venv.bak/
142
+
143
+ # Spyder project settings
144
+ .spyderproject
145
+ .spyproject
146
+
147
+ # Rope project settings
148
+ .ropeproject
149
+
150
+ # mkdocs documentation
151
+ /site
152
+
153
+ # mypy
154
+ .mypy_cache/
155
+ .dmypy.json
156
+ dmypy.json
157
+
158
+ # Pyre type checker
159
+ .pyre/
160
+
161
+ # pytype static type analyzer
162
+ .pytype/
163
+
164
+ # Cython debug symbols
165
+ cython_debug/
166
+
167
+ # PyCharm
168
+ # JetBrains specific template is maintained in a separate JetBrains.gitignore that can
169
+ # be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
170
+ # and can be added to the global gitignore or merged into this file. For a more nuclear
171
+ # option (not recommended) you can uncomment the following to ignore the entire idea folder.
172
+ #.idea/
173
+
174
+ # Ruff stuff:
175
+ .ruff_cache/
176
+
177
+ # PyPI configuration file
178
+ .pypirc
179
+
180
+ # Cursor
181
+ # Cursor is an AI-powered code editor.`.cursorignore` specifies files/directories to
182
+ # exclude from AI features like autocomplete and code analysis. Recommended for sensitive data
183
+ # refer to https://docs.cursor.com/context/ignore-files
184
+ .cursorignore
185
+ .cursorindexingignore
186
+ .claude
187
+ # Session scratch: experiment material (campaign plans, dataset analyses) does
188
+ # not belong in the kit — only the general-purpose tools those experiments
189
+ # motivated. Ignored so it can never ride along in a `git add .`.
190
+ scratchpad/