unicode-logic-kit 0.31.0__py3-none-any.whl

unicode_logic_kit-0.31.0.dist-info/METADATA

@@ -0,0 +1,333 @@
+Metadata-Version: 2.4
+Name: unicode-logic-kit
+Version: 0.31.0
+Summary: Parse, translate, prove and model-check logic formulas in Unicode notation: first-order, modal, description and higher-order logic, one API over a dozen provers, and an MCP server
+Project-URL: Documentation, https://unicode-logic-kit.readthedocs.io/
+Project-URL: Repository, https://github.com/fvossel/unicode-logic-kit
+Project-URL: Issues, https://github.com/fvossel/unicode-logic-kit/issues
+Project-URL: Changelog, https://github.com/fvossel/unicode-logic-kit/blob/main/CHANGELOG.md
+Author-email: Felix Vossel <fvossel@uos.de>
+License: MIT
+License-File: LICENSE
+Keywords: autoformalization,automated-reasoning,description-logic,first-order-logic,fol,higher-order-logic,lambda-calculus,llm,logic,lukasiewicz,mcp,modal-logic,model-checking,nl-to-fol,non-classical-logic,owl,parser,smt,theorem-proving,tptp,unicode
+Classifier: Development Status :: 3 - Alpha
+Classifier: Intended Audience :: Developers
+Classifier: Intended Audience :: Science/Research
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Topic :: Scientific/Engineering
+Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Classifier: Typing :: Typed
+Requires-Python: >=3.10
+Requires-Dist: lark>=1.1
+Requires-Dist: z3-solver>=4.12
+Provides-Extra: asp
+Requires-Dist: clingo>=5.6; extra == 'asp'
+Provides-Extra: chem
+Requires-Dist: rdkit>=2023.9; extra == 'chem'
+Provides-Extra: cp
+Requires-Dist: minizinc>=0.9; extra == 'cp'
+Provides-Extra: cvc5
+Requires-Dist: cvc5<2,>=1.3; extra == 'cvc5'
+Provides-Extra: docs
+Requires-Dist: furo>=2024.1.29; extra == 'docs'
+Requires-Dist: myst-parser>=2.0; extra == 'docs'
+Requires-Dist: sphinx>=7.0; extra == 'docs'
+Provides-Extra: hf
+Requires-Dist: datasets>=2.14; extra == 'hf'
+Requires-Dist: evaluate>=0.4; extra == 'hf'
+Provides-Extra: lint
+Requires-Dist: mypy==2.3.1; extra == 'lint'
+Provides-Extra: mcp
+Requires-Dist: mcp<3,>=2.0; extra == 'mcp'
+Provides-Extra: owl
+Requires-Dist: owlready2>=0.46; extra == 'owl'
+Provides-Extra: test
+Requires-Dist: pytest-xdist>=3.0; extra == 'test'
+Requires-Dist: pytest>=7.0; extra == 'test'
+Description-Content-Type: text/markdown
+
+# unicode-logic-kit
+
+[![Tests](https://github.com/fvossel/unicode-logic-kit/actions/workflows/tests.yml/badge.svg)](https://github.com/fvossel/unicode-logic-kit/actions/workflows/tests.yml)
+[![Isabelle live tests](https://github.com/fvossel/unicode-logic-kit/actions/workflows/isabelle-tests.yml/badge.svg)](https://github.com/fvossel/unicode-logic-kit/actions/workflows/isabelle-tests.yml)
+[![PyPI](https://img.shields.io/pypi/v/unicode-logic-kit)](https://pypi.org/project/unicode-logic-kit/)
+[![Docs](https://readthedocs.org/projects/unicode-logic-kit/badge/?version=latest)](https://unicode-logic-kit.readthedocs.io/)
+
+A Python toolkit for **logic with Unicode operators** — *parse, transform, and reason
+about* formulas of classical first-order logic and well beyond it: modal, temporal,
+hybrid, many-valued, fuzzy, intuitionistic, relevant, second- and third-order,
+description, dependence/IF, substructural, and a range of further non-classical
+logics. On top of that sits **infrastructure for NL→logic research**:
+one small API a verification loop can drive, one uniform verdict type over a dozen
+provers, and an evaluation toolbox for scoring LLM-generated formulas against
+benchmark gold data.
+
+```python
+from unicode_logic_kit import MSFLParser, is_valid
+
+phi = MSFLParser().parse(
+    "∀x (Human(x) → Mortal(x)) ∧ Human(socrates) → Mortal(socrates)")
+print(is_valid(phi))   # True
+```
+
+> **Renamed in 0.31.0.** Up to 0.30.0 this package was `unicode-fol-kit`
+> (`import unicode_fol_kit`): first-order logic is one of the logics it handles,
+> not the whole of it. `pip install -U unicode-fol-kit` still works — it installs
+> this package and forwards the old import name with a `DeprecationWarning` — but
+> new code should `pip install unicode-logic-kit` and `import unicode_logic_kit`.
+> Nothing else changed its name, the `UFK_` environment variables included.
+
+## Why this kit?
+
+- **One facade, seven verbs, built for LLM loops.** `api.parse_any` (dialect
+  auto-detection over Unicode / TPTP / LaTeX / Prover9 / SMT-LIB — never raises,
+  records every parser's objection), `api.check` (well-formedness + signature
+  conformance with did-you-mean suggestions), `api.equivalent`, `api.prove`,
+  `api.countermodel`, `api.repair` (a diagnose→suggest→fix generator whose fixer
+  callback is *your* LLM), `api.translate` (logic-to-logic via a comorphism
+  registry). Every result has a JSON-compatible `to_dict()`, and the API carries an
+  explicit stability policy.
+- **Logics as values, and a translation that carries its side conditions.**
+  `FOL(MSFOL(f))` converts a sorted formula and keeps its side axioms (each
+  sort is non-empty, each sorted constant lies in its sort) *with* the term, as
+  a `Sentence`; `api.prove` adds them as premises itself, which is the
+  difference between a proof and a spurious countermodel. Each of
+  the nine registry edges declares what it preserves (`comorphism.GUARANTEES`),
+  which side axioms its image needs and which options it reads; a composed path
+  reports the weakest guarantee on it. There is no implicit coercion between
+  logics on purpose — see
+  [Translating between logics](https://unicode-logic-kit.readthedocs.io/en/latest/guide/logic-graph.html)
+  for why a translation is not an upcast.
+- **An MCP server out of the box.** `pip install unicode-logic-kit[mcp]`, then
+  `python -m unicode_logic_kit.mcp` exposes the toolkit as thirty-seven Model
+  Context Protocol tools (23 general-purpose, 6 for chemistry, 8 for
+  description logic) — any MCP client (Claude Code/Desktop, agent
+  frameworks, editors) can parse, prove, diagnose and translate without
+  writing Python; the repair loop inverts naturally (the client LLM is the
+  fixer). An error-analysis layer comes along: prediction-vs-gold
+  breakdowns with symbol diffs (`compare_formulas`), corpus metrics
+  (`score_batch`), satisfiability of premise sets with model witnesses
+  (`check_consistency`), normal forms, cross-syntax rendering, truth
+  tables, signature extraction, and DRS→FOL for discourse phenomena.
+- **Model checking against real structures, not just model finding.** A
+  molecule, a knowledge-graph neighbourhood, a scene graph is *given* — the
+  question is whether a definition holds of it. `FiniteStructure` +
+  `evaluate_in_structure` answer that directly: no prenex form, no CNF
+  (both are documented timeout sources elsewhere), quantifiers ranging over
+  indexed candidate sets rather than the whole domain, counting quantifiers
+  counted instead of expanded, and properties that are decidable on a
+  structure but not first-order definable over it (connectivity, ring
+  membership) admitted as **computed predicates**. `unicode_logic_kit.chem`
+  turns a SMILES string into such a structure over the ChemLog signature.
+- **Rule learning, both directions, with the silent failures made loud.**
+  `unicode_logic_kit.ilp` turns those same structures into an ILP task (Popper's
+  `bk.pl` / `exs.pl` / `bias.pl`) and reads the learned Prolog clause back as a
+  kit formula you can model-check. Two encoding mistakes produce a hypothesis
+  that scores **precision 1.00 and means nothing** — example-local individual
+  names a learner joins across, and the example argument on every predicate —
+  and both are refused rather than documented, on the way out and on the way
+  back. `check_separation` asks the question that has to come first: does your
+  reference definition separate the two example sets at all?
+- **Exact probabilistic logic — no sampling, no floats.**
+  `prob.entailment_bounds` answers "what does P(bird)=0.9 entail about
+  P(fly)?" with the exact tightest interval (Nilsson's probabilistic
+  entailment as a rational LP over possible worlds, conditionals included);
+  `prob.query` answers ProbLog-style queries over definite programs with
+  independent probabilistic facts under Sato's distribution semantics —
+  every result an exact `Fraction`, every unsupported fragment a loud
+  refusal.
+- **Twenty-five prover backends, one honest `Verdict`.** The kit's own calculi and
+  semantic searches (resolution — with sound paramodulation/demodulation for
+  equality, no hand-supplied congruence axioms needed —, analytic tableaux
+  with recorded, independently checkable proof objects, modal tableau, finite
+  model finder, bounded Kripke enumeration, QML embedding) are first-class
+  citizens next to Z3,
+  cvc5, Vampire, E, Zipperposition, Twee (equational proofs re-verified by an
+  independent checker before the kit reports them), Prover9, Leo-III, Isabelle,
+  nanoCoP-M (native first-order modal logic, opt-in with a mandatory independent
+  cross-check) and a Dockerized HETS server (CASL export *and* round-trip
+  import with native many-sortedness, multi-spec DOL library emission,
+  SPASS/darwin behind one name, comorphism provenance in every
+  verdict). Every route returns the same
+  `Verdict` with a semantic status (`proved` / `refuted` / `unknown` / `error`),
+  a separate *why-not-more* axis (`timeout` ≠ `bound_hit` ≠ `incomplete` ≠
+  `unsupported`), the SZS status, wall time, and JSON-able witnesses. Chains,
+  portfolios (`portfolio_prove`, parallel with agreement thresholds and a
+  soundness alarm on prover disagreement), and cached batch runs
+  (`batch_decide`) are built on top.
+- **An evaluation toolbox for NL→FOL work.** A graded equivalence ladder (exact →
+  canonical → vocabulary-aligned → solver, with a tri-state solver level and
+  partial credit), AST-level symbol alignment, gold-formula self-audit, and
+  adapters for **FOLIO, MALLS, GROVES, WillowNLtoFOL, ProntoQA, ProofWriter,
+  LogicNLI, ProverQA and FraCaS** — each with its upstream schema verified at the
+  source and its limitations documented instead of smoothed over. FraCaS is the
+  pure-NLI one: no gold formulas at all, so the translation step is an injected
+  callable and the kit only decides.
+- **Countermodels that explain themselves.** `api.countermodel` returns a
+  machine-readable witness *plus* a plain-English rendering ("The countermodel has
+  2 possible worlds. … At world 0 the formula fails."), and refutation actually
+  covers the temporal fragment: `Ⓕ P → P` comes back **refuted** with a two-world
+  Kripke witness, not "unknown".
+- **Honesty as a contract.** No route silently degrades: fuzzy input is refused by
+  classical provers rather than collapsed, an unavailable backend raises instead
+  of vanishing from the chain, incomplete methods report *why* they stopped, and
+  every proof method has an independent checker.
+
+```python
+from unicode_logic_kit import api
+
+result = api.parse_any("∀x (Raven(x) → Black(x))")     # LLM output, any dialect
+report = api.check(result.formula,
+                   signature={"predicates": {"Raven": 1, "Black": 1}})
+verdict = api.prove(api.parse_any("Black(tweety)").formula,
+                    premises=[result.formula,
+                              api.parse_any("Raven(tweety)").formula])
+print(verdict.status, verdict.backend, verdict.szs_status)  # proved z3 Theorem
+```
+
+One parser class, `MSFLParser`, has **nine modes** (classical FOL, many-sorted FOL,
+many-sorted and single-sorted Łukasiewicz fuzzy logic, modal/temporal/epistemic/deontic/
+hybrid, second-order, third-order, team-semantic dependence/IF logic, intuitionistic linear logic,
+and the Lambek calculus) selected by constructor flags, with natural Unicode surface
+syntax (`∀ ∃ ∧ ∨ ¬ → ↔ ⊕ ⊗ □ ◇ @ ⊸ 𝟙 …`) and no ASCII fallbacks.
+
+On top of the AST sits a full reasoning stack — **four proof methods** (a built-in
+resolution prover, Fitch natural deduction with checker *and* searcher, the Gentzen
+sequent calculi **LK**/**LJ** — the latter backed by Dyckhoff's **G4ip**, a genuine
+terminating decision procedure for propositional intuitionistic logic — and analytic
+tableaux), a **finite model finder**, SMT (Z3) and external-prover (Prover9 / Vampire)
+backends, truth tables, and dedicated semantics for every logic. Every proof method has
+an **independent checker** — including `check_resolution_proof`, which certifies
+externally produced resolution derivations (paramodulation steps included) with
+its own from-scratch unification, and `check_tableau_proof`, which re-derives
+every α/β/γ/δ step of a recorded tableau with its own substitution and
+δ-freshness check.
+Formulas import/export to TPTP (incl. header `Status`/`Rating` metadata via
+`parse_tptp_problem`), Prover9, SMT-LIB, LaTeX, and JSON.
+
+## 📖 Documentation
+
+**Full guide and API reference: <https://unicode-logic-kit.readthedocs.io/>**
+
+The documentation walks through every logic with runnable examples — start with the
+[Quickstart](https://unicode-logic-kit.readthedocs.io/en/latest/guide/quickstart.html) and
+[Choosing a tool](https://unicode-logic-kit.readthedocs.io/en/latest/guide/choosing.html).
+
+Beyond deciding formulas:
+[Model checking](https://unicode-logic-kit.readthedocs.io/en/latest/guide/model-checking.html)
+(evaluate a formula in a structure you already have — including molecules),
+[Verification](https://unicode-logic-kit.readthedocs.io/en/latest/guide/verification.html)
+(is a definition *set* coherent, or just too easily satisfied?),
+[Probabilistic logic](https://unicode-logic-kit.readthedocs.io/en/latest/guide/probabilistic.html)
+(exact bounds and queries, no sampling), and
+[MCP](https://unicode-logic-kit.readthedocs.io/en/latest/guide/mcp.html)
+(the toolkit, grammar included, as tools for a language model).
+
+## Installation
+
+```bash
+pip install unicode-logic-kit
+```
+
+Requires Python 3.10+. Z3 ships with the package. `pip install
+"unicode-logic-kit[cvc5]"` adds cvc5 as a second in-process SMT backend (it then
+joins the default proving chain right after Z3); `[mcp]` adds the MCP server
+(`python -m unicode_logic_kit.mcp`); `[hf]` adds the HuggingFace-`evaluate`
+metric wrapper; `[owl]` adds owlready2, so `dl.owl_reasoner` can hand a
+description-logic problem to HermiT (needs a JVM on `PATH`) and decide the
+inverse roles and nominals the in-house tableau refuses by name — note that
+owlready2 is LGPL-3.0-or-later, unlike this MIT-licensed kit. Prover9, Vampire, E, Zipperposition, Twee, nanoCoP-M
+(needs your own ECLiPSe/SWI-Prolog install; `$UFK_NANOCOP_CMD`), and
+Isabelle are optional external tools you install separately to unlock the
+corresponding backends, and the HETS backend wants Docker (`docker pull
+spechub2/hets:latest`; a running server is discovered on `localhost:8000`
+or via `$UFK_HETS_URL`) — each is discovered explicitly and reports itself
+as unavailable rather than silently disappearing.
+
+## Logics at a glance
+
+| Logic | Enable / entry point | Decide / reason with |
+|---|---|---|
+| Classical FOL / MSFOL | `MSFLParser()` / `many_sorted=True` | resolution, Z3, Prover9/Vampire, tableaux, Fitch, LK, finite model finder |
+| Fuzzy Łukasiewicz / Gödel / product | `MSFLParser(fuzzy=True)` | `fuzzy_evaluate`, `fuzzy_is_valid(…, tnorm=…)` (Z3 reals, quantifier grounding; Łukasiewicz and Gödel only — the product t-norm is evaluator-only and `fuzzy_is_valid` refuses it by name); classical routes (`is_valid`, normal forms, resolution) refuse fuzzy input rather than silently collapsing it — opt in explicitly with `to_fol(node)` |
+| Modal / temporal / epistemic / deontic | `MSFLParser(modal=True)` | `satisfies_modal`, `standard_translation`, native `is_modal_valid` / `modal_decide` (K…S5, B, KD45) |
+| Quantified modal | `KripkeModel(domains=…)` | `qml_is_valid` per domain regime + frame; THF / Isabelle export |
+| Many-valued K3 / LP / Belnap FDE | `truth_table`, `semantics.matrix` | `matrix_is_valid` / `matrix_entails` over any finite `TruthMatrix`, incl. THF/Isabelle export |
+| Intuitionistic | `int_valid` / `int_countermodel` | propositional **decision procedure** (`int_prove`/`int_decide`, G4ip) + bounded first-order Kripke search; LJ checker |
+| Second-order | `MSFLParser(second_order=True)` | `satisfies_so`, bounded `so_is_valid_finite` / `so_find_countermodel` |
+| Third-order (incl. modal) | `MSFLParser(third_order=True[, modal=True])` | a predicate whose ARGUMENT is a property (`Pos(G)`, `Pos(λx. ¬G(x))`); slot types inferred across a theory; `to_thf_to` / `to_isabelle_to` and the shallow modal embedding `hol.ho_modal`; `hol.goedel` checks Gödel's ontological argument both ways |
+| Description logic **ALCHQ** | `unicode_logic_kit.dl` | `concept_satisfiable` / `subsumes` / `abox_consistent` (tableau, TBox + ABox, role hierarchies + transitive roles, qualified number restrictions `AtLeast`/`AtMost` on simple roles); `parse_concept`/`parse_gci`/`parse_manchester` plus `concept_to_fol`/`kb_to_fol`/`tbox_to_fol`/`rbox_to_fol`/`abox_to_fol` reuse the FOL provers (Z3's `Count` expansion for the number restrictions) and Isabelle/THF exports |
+| Free · public-announcement · counterfactual · circumscription | `semantics.free_logic` / `dynamic_epistemic` / `conditional` / `nonmonotonic` | `free_is_valid`/`free_entails` (bounded search); `[φ!]ψ`/`⟨φ!⟩ψ` parse in modal mode and decide via `reduce_announcements`; `cf_valid` over Lewis V / VW / VC (`centering=`, default weakly centered); `minimal_entails` and the unbounded `circumscription_entails_so` |
+| Hybrid **H(@)** (nominals, `@i φ`) | `MSFLParser(modal=True)` | `KripkeModel(nominals=…)`, `hybrid_is_valid` per frame (standard translation + Z3) |
+| Relevant logic **B** | classical syntax + `semantics.relevant` | `rel_valid` / `rel_countermodel` (Routley–Meyer, bounded exhaustive search); `isabelle_decide_relevant` certifies both directions |
+| Dependence / IF (team semantics) | `MSFLParser(dependence=True)` | `team_satisfies` / `team_models` over finite structures; `dependence_to_eso` translates the guarded/slashed sentence fragment to ESO for `satisfies_so` / Isabelle export |
+| Linear logic (ILL, incl. `⊤`/`𝟘`) · Lambek calculus | `MSFLParser(linear=True)` / `lambek=True` | `ill_prove` (cut-free; complete for !-free) · `lambek_derivable` (decision procedure); either derivation replays as a machine-checked Isabelle lemma |
+
+With a local **Isabelle** installed, the `hol` subpackage's shallow embeddings become
+*proofs*: `isabelle_decide_modal` / `isabelle_decide_fol` / `isabelle_decide_relevant`
+actually run the prover, and `hol.isabelle_substructural` replays a Python-found
+ILL/Lambek derivation as a machine-checked lemma. The `hol.deepshallow` subpackage goes
+further, emitting — for propositional modal, intuitionistic, Lewis-conditional and
+relevant logic, plus a Tier 2 quantified fragment (K frame, constant domain, alethic
+□/◇ only) — the **deep, maximal-shallow and minimal-shallow** embeddings side by
+side with **machine-checked faithfulness proofs** between them (Benzmüller,
+arXiv:2502.19311), verified end to end by Isabelle. See
+the [higher-order guide](https://unicode-logic-kit.readthedocs.io/en/latest/guide/higher-order.html).
+
+## Command line
+
+```bash
+python -m unicode_logic_kit "∀x P(x)" --to latex
+```
+
+`--mode` selects the parser dialect — `fol` (default), `msfol`, `msfl`, `fl`, `modal`,
+`second_order`, `dependence`, `linear`, `lambek` — and `--to` the rendering: `tree`,
+`unicode`, `latex`, `tptp`, `prover9`, `json`, `dot`.
+
+The seven-verb facade is also scriptable via subcommands (`--json` for
+machine-readable output; exit codes encode the verdict):
+
+```bash
+python -m unicode_logic_kit prove "Ⓕ P → P" --dialect modal
+python -m unicode_logic_kit check "∀x (Human(x) → Mortal(x))" --json
+```
+
+plus `equiv`, `countermodel`, `repair`, and `translate`.
+
+## Building the documentation locally
+
+```bash
+pip install -e ".[docs]"
+sphinx-build -b html docs docs/_build/html
+```
+
+## Citation
+
+If you use this toolkit in academic work, please cite the accompanying preprint:
+
+```bibtex
+@misc{vossel2025advancingnaturallanguageformalization,
+      title={Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs},
+      author={Felix Vossel and Till Mossakowski and Björn Gehrke},
+      year={2025},
+      eprint={2509.22338},
+      archivePrefix={arXiv},
+      primaryClass={cs.CL},
+      url={https://arxiv.org/abs/2509.22338},
+}
+```
+
+> Vossel, F., Mossakowski, T., & Gehrke, B. (2025). *Advancing Natural Language
+> Formalization to First Order Logic with Fine-tuned LLMs.* arXiv preprint
+> arXiv:2509.22338.
+
+## License
+
+MIT

unicode_logic_kit-0.31.0.dist-info/RECORD

@@ -0,0 +1,237 @@
+unicode_logic_kit/__init__.py,sha256=qgvJclru_cS8sVOvYydO8oy8Zdeb6kw8xNosMg80TOY,18928
+unicode_logic_kit/__main__.py,sha256=G8PfI6X1kYl8U3cy9jppcrJwiGznk4bqbvr99a_qWVI,20545
+unicode_logic_kit/_deadline.py,sha256=PRQowL1vr5cElq5FyTDuidGSGkxbE8kB1R8rn767NL0,11269
+unicode_logic_kit/api.py,sha256=RP5N0CZtXlhUvXtzIXRogvCNfYW0bhRZmdoZrGsmt1U,62532
+unicode_logic_kit/comorphism.py,sha256=3M3VBvzTtC2tVM6qviyzE5KoTHlpE_yUurOfgNs36TE,24506
+unicode_logic_kit/logic.py,sha256=c_rDv3Unc97QRL-Seh9cF3J3PPlL7kuHt5ntnd0kdmk,7500
+unicode_logic_kit/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+unicode_logic_kit/ace/__init__.py,sha256=zA5qn92bEqmefm0Yawf96y1tQ-_PcL8E3a-8CZFvpGQ,7004
+unicode_logic_kit/ace/_align.py,sha256=pkyDt08tPmJBCf-ogYXcvvV_nugbDtf4AYN0dVVCIdc,5785
+unicode_logic_kit/ace/chem_lexicon.py,sha256=kz2BJYer2lKReu-HVVpdkw27MRGl6j2iTSCumTsodnQ,5186
+unicode_logic_kit/ace/drs_reader.py,sha256=36UvUNo0iNeylxniRZMTnJBSoox-ybtJ-vrQm3qw67w,19757
+unicode_logic_kit/ace/mapping.py,sha256=AvZFpU8xhleoelIUyf9GSpLceqTR5VhdtKqQitee5-s,29483
+unicode_logic_kit/ace/reverse_modal.py,sha256=sWEiY2CGeQajivvIIIHD7oigGQWyGYjaOM6yUblxjNQ,6668
+unicode_logic_kit/ace/runner.py,sha256=SmjusPYbmQ5ZUQ1nENI5o6juHz2mXtsWL7DoNLqNb4A,24924
+unicode_logic_kit/ace/translate.py,sha256=rgYC_c4CFQPZN4lpDppkQ9OqYFhIh2jgoE34Zkqamys,21887
+unicode_logic_kit/ace/verbalize.py,sha256=93eX933Tb2CZ7CVV6moNEjsVlYIBbAgsb5dyF_FBmBs,46918
+unicode_logic_kit/atp/__init__.py,sha256=7FTmLpSMFdeRUCQIJyCzJYn0XG7uPvVQzzRGDv-r2-M,7819
+unicode_logic_kit/atp/_ascii_names.py,sha256=_8jgf8GhnMkyq1fYQ9cmD0-LCMLAT9MP87m-4bZAm-A,5677
+unicode_logic_kit/atp/_html.py,sha256=Uq86TT5FzaDbE9G9PsKz7nIPXOC0x5JPm_xAenXDXPc,3745
+unicode_logic_kit/atp/_substructural_input.py,sha256=mzHg75D5vkSkIQ_sdXcTdZXmAUn9BHmn5G78qWM_d6M,11544
+unicode_logic_kit/atp/_tff_problem.py,sha256=eLDQ7ix3dPmpUFFNkNO41MBlsK2MPwU3ksoAN_ENhF8,38092
+unicode_logic_kit/atp/_tptp_problem.py,sha256=w_-Qdh4LrNxbrKlM1zybFp-p1gHWqqAs2TEF0JJgLtk,65605
+unicode_logic_kit/atp/_writer_support.py,sha256=vkRMshLQ-Mfnqeqo8dhgv7i4tU73MPZxrhaXxoENoE0,14763
+unicode_logic_kit/atp/clingo_backend.py,sha256=E5ESNehswT2QG2njsXwwmmiuaI5XK-zlSEoA1BcIq0w,63223
+unicode_logic_kit/atp/cvc5_backend.py,sha256=G-tHkTEC-eQ0LY8eGWCYGH231ETdY49mnJLOixhotBc,77991
+unicode_logic_kit/atp/eprover_backend.py,sha256=p6TAE9C6NrFPcxBhOWGixP2mEo8XiiReXalypVjR5MU,39647
+unicode_logic_kit/atp/finite_domain.py,sha256=bn4gxYEBrlHtu487AZ6BMmlmgTvkSAUhCtTxR4cGvHo,56534
+unicode_logic_kit/atp/fitch.py,sha256=1ne8sgTut5T12WdvYuJh6FPqoWdcDddhAQky0N0APjw,69220
+unicode_logic_kit/atp/fitch_search.py,sha256=T7Me1r-Et4Jpr_VeBZkKQmkD7NBsXdTcUUP4ncyj1kc,23723
+unicode_logic_kit/atp/hets_backend.py,sha256=KJZEUPh0fad09NxOKQlrnpStjoTsphc2l4hDaVQGu2g,18038
+unicode_logic_kit/atp/hybrid_down.py,sha256=8HhP2AohtVWKIv-pGAQvObYgKdIgofnK5ofvwK3rFXM,6459
+unicode_logic_kit/atp/incremental.py,sha256=JHPLwMi2oy0Ks90LgvEsx9JdYpgK8dpY2-sHQuEIfLY,12725
+unicode_logic_kit/atp/kripke_enum.py,sha256=Qw8lPlge0T_qJoipne-8TUqkFgCCX_XBIZQH9TQGz_I,38030
+unicode_logic_kit/atp/lambek.py,sha256=p_ieWAU8vLiCflDeB06gCfaZk36lgv6H15m1AEvd9KE,19744
+unicode_logic_kit/atp/leo3_backend.py,sha256=vWhKkeP7NHYJrp_EKVk4ufXPg0vZwtK1Govv9YvEUMo,17155
+unicode_logic_kit/atp/linear.py,sha256=L1e5fEzuTgR-v6xtlNtMUm_O25ZVlz2GvkGEgbDuAGc,31777
+unicode_logic_kit/atp/lj.py,sha256=j4BWOaavci85KURATcxoi_kKS9r9d3oNUSKIhxspiGo,34842
+unicode_logic_kit/atp/logic_backends.py,sha256=yELsw29DdF1IVnELfJd8Vp1X4J596UKThh7VRrt2KCg,31196
+unicode_logic_kit/atp/ltl_tableau.py,sha256=QYP2M4IidhCSxFjqxEi-iu1mQMl0ERu-nBDN4eyZc3c,51421
+unicode_logic_kit/atp/minizinc_backend.py,sha256=ZWOVKOn03l7phlnNkBw6su5PKqWheWfn2Wcsxg7oZ2Y,71664
+unicode_logic_kit/atp/modal_tableau.py,sha256=9Tj0rNAKCkLb6h9s9Ew3F1dEE6xtWa_WDNjUvQwwMl0,69781
+unicode_logic_kit/atp/nanocop_backend.py,sha256=iBpDbOS69y8SQL2fxtaxUAqsN_1r8Y9zZ-N49QTaHVY,19452
+unicode_logic_kit/atp/portfolio.py,sha256=oiIrsEBAe7cQ3cEObABkMCXsMZTamVeXRi2vicdMKTY,25572
+unicode_logic_kit/atp/protocol.py,sha256=mJAdX6Y7aeWZwSGI3-8NQpWAVKgyiUihVL5aWgSD8wk,91227
+unicode_logic_kit/atp/prover9_entailment.py,sha256=wg0oyx1E9FS1hDajiqS5TCEBZaA42__tLhYs-TEQGUw,64600
+unicode_logic_kit/atp/resolution.py,sha256=MkTebvPSGzuVAW4RixXrHFC42JnDHNwheePfeXdmWhs,69723
+unicode_logic_kit/atp/resolution_check.py,sha256=CRts2S9Yg1fQNaQ2c36UnWhx5ucpxzExXdHTW-MIR9c,53517
+unicode_logic_kit/atp/sequent.py,sha256=xlgk-2aqYucW39gPMY5Ikl-0iDtZeX75lye-makLATs,46143
+unicode_logic_kit/atp/tableau.py,sha256=2xpZ0j0X2pNB1yEjIcef1y9ggMh3bqx-TdbqaOr6wz0,44288
+unicode_logic_kit/atp/tableau_check.py,sha256=6O13Cdcpfzk436TwHNSfxCcCsBx2enOVYRGf6HrFrpA,28888
+unicode_logic_kit/atp/tptp_ncl.py,sha256=pC4hw1d89MUs_MXqjTDwY865RFbd3Grke8LLaL7JdMY,47160
+unicode_logic_kit/atp/tptp_tff.py,sha256=35M5lJhY17WqqUYBvZRwQi8uJdwwbMo7YYpAWw_mcC4,81112
+unicode_logic_kit/atp/tstp.py,sha256=15sSr3tYkSg1rrMbW03puOyLdgwnrmtCYPrKTHJiNXQ,68290
+unicode_logic_kit/atp/tstp_check.py,sha256=S1clfq2BEBLpz_Qd1A7p6e7ZvTfbSQMKzUgDFctas84,56123
+unicode_logic_kit/atp/twee_backend.py,sha256=puqv17wQ13lg7evYIehiqqpo7mhHIZPMkhBiPtxdgr0,12113
+unicode_logic_kit/atp/twee_check.py,sha256=YTH679uICU_A5sCNGjlW3rKzC5l9DAQUFPzXJfjbXgY,36921
+unicode_logic_kit/atp/twee_entailment.py,sha256=e_Sw5LOX6ZEjPVdhLpY8Z2bTxgyMf_xkgIae9juqVlk,44540
+unicode_logic_kit/atp/vampire_entailment.py,sha256=0Pe71sRWrS5MuJlSndURJZndfhwPEOpR0VA-MRbEg4o,29731
+unicode_logic_kit/atp/z3_arith.py,sha256=WLurnSmZFAc8FhqIf4Ewghw6DIrqb4lo9nnpl3Iy9KA,22976
+unicode_logic_kit/atp/z3_equivalence.py,sha256=rQGHKyoMnOOZ8O19LKMbuxk2rfxK-kGOMf-WIzw79OM,1449
+unicode_logic_kit/atp/z3_fuzzy.py,sha256=3JDJx37bQEtydXY8-cljvXuYWpmNBTRbJtdVdm9yc9U,15828
+unicode_logic_kit/atp/z3_input.py,sha256=05z8ySi-2KoCqtrswklePKtZG5L_n4fO99leDa4S4fM,25771
+unicode_logic_kit/atp/z3_models.py,sha256=3O3QUwxA5y2Mzdgol2S6U0x0UmhPmH-8pTq1fAepoB8,11027
+unicode_logic_kit/chem/__init__.py,sha256=qYGXYkNePe2fj_YnEGFqwM0GATX-lDKVkHJxWWClo1M,4418
+unicode_logic_kit/chem/_naming.py,sha256=6Rc_P5sdReGpI3y9ScZETtL-XLoX5XstV0jeAQyHk6M,13423
+unicode_logic_kit/chem/cache.py,sha256=VaYdeyL7PaF1RTEju7EkXT34H8nJIuhTRRV0WyNqPtM,8362
+unicode_logic_kit/chem/interop.py,sha256=ExwvOfrts7McIq6wCKJ9lSsUb51Q7zLoqs4IEXBG9uo,11780
+unicode_logic_kit/chem/mol.py,sha256=mU2irfDeAQjDsacptBX4D5seybJg-I1ln0H_4u9L00E,28339
+unicode_logic_kit/chem/signature.py,sha256=ybXgvzArUww5XZ_QYRMNMoNfUp50amaC7mAV-rWI8qE,5443
+unicode_logic_kit/dl/__init__.py,sha256=8dwA1ngSp4ZM3xplmuzTsNrMzH6g0pxG5U_oGIVMz58,22258
+unicode_logic_kit/dl/classification.py,sha256=XIyB-aypWyWk_2I__P8CLz9ogWyMxU8hFqTaeLwSJ9o,11034
+unicode_logic_kit/dl/concepts.py,sha256=jmDfsB-EMt5WS4d-7uA7B-sFB1wG6TNIfQHbbcaQLz0,29322
+unicode_logic_kit/dl/datatypes.py,sha256=kPckT4gHBsaa6kj97FZS0WQiI9epGX_SH3pQVH8u6c4,38763
+unicode_logic_kit/dl/owl_functional.py,sha256=6cGcwCgx7Irwf1lS3-5zR2bYmxDhM1zOgBXi29jZnKE,121182
+unicode_logic_kit/dl/owl_manchester.py,sha256=PddEUF-3sZOGCDHVJZzfsUzl61iHme2swyzljIC5g1g,82456
+unicode_logic_kit/dl/owl_reasoner.py,sha256=5F20nlNpDPItC33jK1jOUE_jn9YZw3MDSq6oKAHM29g,41994
+unicode_logic_kit/dl/parser.py,sha256=f9hHbXB6CYkmfp6qAlVxmkTU1NmvGPbKVAajWRWoBbY,18887
+unicode_logic_kit/dl/tableau.py,sha256=syNLUwkH2X2z_9618tdg_O7VIkOXHxWogWGf0BAUlLg,221685
+unicode_logic_kit/dl/translate.py,sha256=SQ2eN1LhM1L15eDuaA7oBugZczqS_qV0nzjjAQp_xY4,150096
+unicode_logic_kit/drt/__init__.py,sha256=S83lvaEfq7-6Yb7fn8jm3PbQul5tcraK7GTk1ByCSO4,5349
+unicode_logic_kit/drt/export.py,sha256=kNU58SOYRhNk25FLl4g528EZqbndb4EfjWUZj0BX1Wc,8979
+unicode_logic_kit/drt/nodes.py,sha256=m9MEmHUf6jXbG1sZESenwFcf1qYbzRIfxnxpkIBu1PM,25518
+unicode_logic_kit/drt/parser.py,sha256=anHnh-lRqKH6d-13Z2C6Sdt9u9q2yWNDAxDpEvezpLU,48914
+unicode_logic_kit/drt/resolve.py,sha256=IYPib3usHXuY3Nq7KVo5zV1HUKV0P7luGao_S1U8YLs,9582
+unicode_logic_kit/drt/reverse.py,sha256=EaL3DoBrbnnlSJnsewB1FGpa27Ip2uT5l2LQi-npsZA,7361
+unicode_logic_kit/eval/__init__.py,sha256=27W2Umdu7fTOegAriWV5ZzdVlBRXy5jkRzBuVt0tMAk,5473
+unicode_logic_kit/eval/batch.py,sha256=Dzj7Eg_rH9JxxisElw4FHPqxSgW8OLCZErkc0FQWXIs,18496
+unicode_logic_kit/eval/canonical.py,sha256=7nwOQCceF_pHPd14-XYub33CCkjz7Iinuk_Y_kTfETY,33312
+unicode_logic_kit/eval/chem_batch.py,sha256=c8ZpZnpkGQ8adkxqZ28EV8aWeBdsvozVPlKdkhe29vs,27487
+unicode_logic_kit/eval/converses.py,sha256=_JHQMkkWR58NzjUBDO9Y2EkuHapkyDjs2R5Jf_L56uk,9942
+unicode_logic_kit/eval/equivalence.py,sha256=NYI44YCk92YTqBnhSZGfu86gT_Zs7IPr4xpgROGi8ZA,24399
+unicode_logic_kit/eval/exercise_gen.py,sha256=seMchMAfzBfkn6LpeJ4amwFmNPqiQYkUsBlRdli6Dig,26600
+unicode_logic_kit/eval/explain.py,sha256=Id5vORCinuPARBUgeH8tbaKR0w56Fq9gnWcWRCxCzok,35302
+unicode_logic_kit/eval/generality.py,sha256=cvkO1waQx-BndXB6Cvfd6_UUVIWYQuG6q2zaeAebaDQ,37708
+unicode_logic_kit/eval/metric_hf.py,sha256=4IMA3d1its4mO-nG7yjuE2x3xXVoiuv_--WMIAG6KYE,23307
+unicode_logic_kit/eval/predicate_match.py,sha256=0qjbnVXYU9lifHibw4578nl_eduw3ylmjTBcYnPTBpE,15245
+unicode_logic_kit/eval/theory_check.py,sha256=2iJXy8iv0XtyZFg9hQ4iYd8u4xyTGHwTLiVhd8uH-Xs,59594
+unicode_logic_kit/eval/validate.py,sha256=EPG54L_MKG2N8A2sIAZNmR-EHxgl9Vq1Ot2GsjouIGc,12239
+unicode_logic_kit/eval/datasets/__init__.py,sha256=PpQAoiYC1xVoLpzdUjlTqF5VbWyzcHDgP26PByrcFPE,7707
+unicode_logic_kit/eval/datasets/_base.py,sha256=AY0QHQ_uUi1KM89kqletFW3VYUXNHRdprKzX_30nqnk,12293
+unicode_logic_kit/eval/datasets/_proofwriter_proof.py,sha256=SchS7YV721Y3qyXydr69ycsldTQPSzTF9Ue3Mbx2uXc,18893
+unicode_logic_kit/eval/datasets/c3po.py,sha256=cWtsThlITl2ZROEuNoNAH9eDrmlSjrpoUy8EVwuu-5I,34157
+unicode_logic_kit/eval/datasets/folio.py,sha256=tN2mkEtjemv-wCK6DnZlAVnzHngHtautNv123LKhaHY,7257
+unicode_logic_kit/eval/datasets/fracas.py,sha256=gFy5WSiV9tOsVQqFoWQCToPIlxG6je0Ob2ZOFMXb_-E,19374
+unicode_logic_kit/eval/datasets/groves.py,sha256=o5MtBg1mPiKD0EKZ_ZQDAg6gLiMHQotNBkOCximXgdo,9846
+unicode_logic_kit/eval/datasets/logicbench.py,sha256=KdJgRxy0teUFA8BsQaS2AmaAF7dSUblO_C6q6fAdOtI,24418
+unicode_logic_kit/eval/datasets/logicnli.py,sha256=1zovxfIKzeIgl1SrjTk993zBRZ_rFuxh0X6uAoS7h7s,16480
+unicode_logic_kit/eval/datasets/malls.py,sha256=zWYxrq3uJrr8fJk0fd6ys6Lyhq0dWBSiDtzoGBnYQ-U,5919
+unicode_logic_kit/eval/datasets/pfolio.py,sha256=yG9Hf0j2qr2PaJOmP6USsiTOCZJuc3-LZPhF2PzO28c,29954
+unicode_logic_kit/eval/datasets/pmb.py,sha256=eqbMh4mbsETC-9sKXMa0wHDY-bPbwMePeXglgXeD37s,13613
+unicode_logic_kit/eval/datasets/prontoqa.py,sha256=_tZfmOSkMuQLru1lUtuH6Zi1c9DkkQj20XtFQGsB-Xo,31034
+unicode_logic_kit/eval/datasets/proofwriter.py,sha256=1DjDMONfe7P3AwGMupJJeKROrX-We-R8Tlhx9VKlbZg,72790
+unicode_logic_kit/eval/datasets/proverqa.py,sha256=Bx40ms5I-X5coTCbUYLyHo37V7PzlrYue0JdJn9eQcw,32576
+unicode_logic_kit/eval/datasets/willow.py,sha256=5PdPJxcISK28Ym1eGrdtlLNfDZCvGTH1nyfQmzjsyjU,22413
+unicode_logic_kit/fol/__init__.py,sha256=nI-2xeKEIX8qF-fgUm0NxJSa4um4W8I17FiDbImPNZ4,7481
+unicode_logic_kit/fol/_atom_keys.py,sha256=BhZ2v1IFdssZNMaAc1jG08D75TZjsUg5tLRh1nnETFc,26501
+unicode_logic_kit/fol/_fol_nodes.py,sha256=4h0wIsqfDM5qiyPRubIopio7OqCMfnWjTIEN91l7jV8,172640
+unicode_logic_kit/fol/_free_parameters.py,sha256=CHbQfZc1N9Z3Y-3s_t5ALKPrQgyl6eHwe_6r5LKK1xc,5402
+unicode_logic_kit/fol/_ho_nodes.py,sha256=7fqlcUNTGtUh_yb-Rwle-JckNW_AJV4tUA_-ZUa-Yn4,20505
+unicode_logic_kit/fol/_hybrid_nodes.py,sha256=H0pVTDUjnMT2Xzf809AEfXq-tTCxuLZ6ER3sdrW1Pac,14807
+unicode_logic_kit/fol/_identifiers.py,sha256=eause6h1wVaBTSwip1Ca-dL4cuzWqoce-RLCMTvdlVA,58816
+unicode_logic_kit/fol/_lambek_nodes.py,sha256=tJmD1ii4umIslEGdqBKjihHCoqgySNNuhSM5rs5YH5c,4817
+unicode_logic_kit/fol/_linear_nodes.py,sha256=KlxnL0ty-2DEF7i6drFrnnORdGHtf1bUTDl1j6R2SK0,15614
+unicode_logic_kit/fol/_modal_nodes.py,sha256=ZSZau53kAtkxzQxyb4gixbYPsxC4EXX594Yd56yfB_Q,67445
+unicode_logic_kit/fol/_msfl_nodes.py,sha256=xAlcjHtSPXDTzPeaQ7Yl_Tvzpo3N88iJCw7cnui53JQ,102267
+unicode_logic_kit/fol/_numeral_symbols.py,sha256=BMSDewzpDE6bEzK2xX1gToJ2iCKzBPGbbo6tBlcJsEY,12231
+unicode_logic_kit/fol/_so_nodes.py,sha256=AW_BEiORV2D1nS0vSC_SlV2cuYLQnJCM1S37z9o2_yE,8423
+unicode_logic_kit/fol/_symbol_names.py,sha256=T51VkTlLo70aa7q4tChFqu2k5aMGy2I780-dk2oGRQQ,3965
+unicode_logic_kit/fol/_team_nodes.py,sha256=0YjsZf-FKMbZ4iIRtN9zQQSjV5uatJZd8Ck36E_kizc,7945
+unicode_logic_kit/fol/_tptp_symbols.py,sha256=Qzr0nQFhdlp2Ybf6bjnxdjgM2g-ICrxGScvUgSGGQqM,28413
+unicode_logic_kit/fol/_truth_constants.py,sha256=TB-wxGNZlNEoLw0nS3qLSd1lANT_Fi2eaZDsMV2uXfE,5175
+unicode_logic_kit/fol/casl_export.py,sha256=17Otpt-gkARt7S-Wu-W2PzzOmoW94MHHhK57mdLrEOs,58577
+unicode_logic_kit/fol/casl_import.py,sha256=oJZ802sU4ecsJ0PYAlT4XKcjhwXO7WTOXjMXJrceBZ0,43223
+unicode_logic_kit/fol/derivation.py,sha256=KGNE7WYWkbwKCAbX9bBEE6xYj7-03bSihR0I7kFKNZg,16564
+unicode_logic_kit/fol/dialect_detect.py,sha256=Eok4pg8JXoBCcXUutKEb00zuEs-fFyYgdxNWvzAtEEs,3342
+unicode_logic_kit/fol/dialect_repair.py,sha256=2yBs8HexpEMR-VIBeagl703a7E2Df1mW5TEZ9AFZRlk,26533
+unicode_logic_kit/fol/frames.py,sha256=XHtcwQ4J8g-q-9ZtNNX5pXfervMvQrmvQZY81KiRLps,29562
+unicode_logic_kit/fol/lambda_tools.py,sha256=Q4w4XPoVtpUShcLYQvXPcfiYzurHK-mwDRsL8MLjA3I,12945
+unicode_logic_kit/fol/latex_input.py,sha256=wSnNB18HUPBFSXWM8C7BqY9_vkL9XC17GWxWPAknK6I,20680
+unicode_logic_kit/fol/modal_translation.py,sha256=9BbJ2U13qFin4zfPd0QMB0nsb7_FMJauyDtg00BwsFc,51140
+unicode_logic_kit/fol/msflparser.py,sha256=fTHBokB2KLkhcNzVQtMnYPOlOyzDOannfVtoFTYhmhs,55889
+unicode_logic_kit/fol/naming.py,sha256=puOClGgMxVV7RbeChaVrRTDxroSCTavNaTGtuv7AE2s,18630
+unicode_logic_kit/fol/nodes.py,sha256=gGL7Ecrs7XQw2v-g9osdZEGiIeSClboXPzQ53DSTk70,11799
+unicode_logic_kit/fol/normalforms.py,sha256=dCVoJ52Okehf_L90pL8N4Ig4I7KtDwkXKOo30G1lpK4,20795
+unicode_logic_kit/fol/pal.py,sha256=cYJU35_O0aPPZfndrDMQCN_5vyqEEPuUDr-XXr_6_YY,16368
+unicode_logic_kit/fol/prolog_export.py,sha256=VnQg6m21J-w40olWsL-pmXqx0bNB4j_ddUJDv_y558M,29746
+unicode_logic_kit/fol/prolog_input.py,sha256=dYi9b5pDVcGDsLclQpU63lAPZ-dh2XU_qrcWhvFrt6c,20973
+unicode_logic_kit/fol/prover9_input.py,sha256=8HpC26QMd-vZkeWyiLp4-QSCeFL2PBqCJZt6NoDotSo,64516
+unicode_logic_kit/fol/qml.py,sha256=z0iZ9K4O_KsZvoLjuZqHMEP-yDiJRJjgM6JYD6_aoZo,100234
+unicode_logic_kit/fol/qmltp_input.py,sha256=Y2KoYAyp-_ITMW_NlMoghNhtRey60Ai3GNOjjzFPFIw,23983
+unicode_logic_kit/fol/sanitize.py,sha256=4SUw3mnzfr3Wpvhje2Ql-AwLZxdtG_V2lVPq9B6uqng,9949
+unicode_logic_kit/fol/serialize.py,sha256=7veR63rFsTnIjJ_o8l6hjyafw3uv8yIz5FEvWp8KuvU,3234
+unicode_logic_kit/fol/signature.py,sha256=EIf1Pc9nDk4hzmDYMJgVW9cQs9XXF54IXdB3LCRDuHY,64681
+unicode_logic_kit/fol/simplify_check.py,sha256=3DuCzyf9ExCjOafKpc3yeo0iKNFp2NUILa7hFKmtUog,26335
+unicode_logic_kit/fol/spans.py,sha256=tvmFGeG2lQF5zbbgUNXi_FPT0GxsgSlenWr7f0cOkX8,28465
+unicode_logic_kit/fol/tptp_input.py,sha256=-uscCkIdd3wUzUW41rm6bgT_6ffi1T6WjQgbq9WQxNQ,67973
+unicode_logic_kit/fol/tptp_repair.py,sha256=QUDBO3-cdz26OXQuralBc0CNofPy2CobpBUPgHFII_U,45821
+unicode_logic_kit/fol/unification.py,sha256=oc2VPug3ww6spsSr6vhUs-pSO1hDJLFliEspHJ0TmvA,6457
+unicode_logic_kit/fol/verbalize.py,sha256=thMpxScC685MxGenyjxCirQ82IfCU9XLV_JbhTNaN8I,11574
+unicode_logic_kit/fol/grammars/terminals.lark,sha256=sKhC3_gx9rlTGJUMk3LO_ku386uR1BtYu_M4OH82FBE,1607
+unicode_logic_kit/hets/__init__.py,sha256=aVYKlJnB4GWw6z0D8zyeu6Sc9Kx4PC1jEyIkP5yIlNE,8444
+unicode_logic_kit/hets/bridge.py,sha256=3iaq_cYfbs-97WR0UX8IAXrGUlNsNfRYZRvuSYZFbHI,7040
+unicode_logic_kit/hets/client.py,sha256=OOpLVpuENqz8PryU8Ecq2EEvPGq5B7k3D6t-rGOGfxI,36880
+unicode_logic_kit/hets/docker.py,sha256=ThMLUamoKZEVpFX-n-cno8Oz3j4FDWS6PtvxF5DoRY0,20447
+unicode_logic_kit/hets/dol.py,sha256=IeEgyAt06zPRZtQrtLAWXhr2vYlGuVuGum4zpj8WI1g,39800
+unicode_logic_kit/hets/haskell_json.py,sha256=FZ5X22bqSGj-NiT1XMninyGKr6Kudw1-ROv6QfX8hMc,15782
+unicode_logic_kit/hets/owl_backend.py,sha256=JE0U8raomXMBmon_DHmLoKF2yVRgQuZeabpMnTBOva0,44606
+unicode_logic_kit/hets/owl_cli.py,sha256=y1ViRvu7iCiS_XdUoZZMIwAmTlbeTGhYbHzjRXsmspA,27657
+unicode_logic_kit/hets/symbols.py,sha256=zaaOLHXppMX_5Rqb4xJVqqhPKCGgbJfhxLs90UbpVBg,22286
+unicode_logic_kit/hol/__init__.py,sha256=_Bm_DmQq3Y2Ig6Fu61PsyokYzEfk-NzEbjtCqha-pe0,8163
+unicode_logic_kit/hol/_ho_common.py,sha256=mPTgzVdRYHj6zgN9TBHGNO6l_s3ZCubiAzx7_hKWyH0,15199
+unicode_logic_kit/hol/_isabelle_binders.py,sha256=5kiWr4r2AcDHJLGRIltEe-ykC_Oqzx2qiO2QmBzi8VA,5939
+unicode_logic_kit/hol/classical.py,sha256=UmUXCT5lJsCStE1U161Uqe7_17AujGkKN6kGO7_PAGc,43704
+unicode_logic_kit/hol/free.py,sha256=UmtTqUSd8EShIM4xcOI66ZXbaaBtXc0Q4BdOqqNW2t0,37400
+unicode_logic_kit/hol/goedel.py,sha256=FTZbPmVADoz9EZf6gXOroXxBPG9CR26PhCSUz0T7lTk,15260
+unicode_logic_kit/hol/ho_modal.py,sha256=zfjdLSTuDZ5nQWpxdpkFQ5uDIkHQzrv-8RYod7QMxLY,93235
+unicode_logic_kit/hol/intuitionistic.py,sha256=fqzIRXvZfhAQJ_x8yi4GX4lcovMvs0W1EuJLHVQ-KjE,22817
+unicode_logic_kit/hol/isabelle_conditional.py,sha256=5jtselN3QlF4X5NlOLx5Iwi1YmtPqwDibj-NZc14U_w,32347
+unicode_logic_kit/hol/isabelle_modal.py,sha256=n_b5jorHplrNwU3ymoKNrbOtnKVetxvaYHmHHy0xnSE,99696
+unicode_logic_kit/hol/isabelle_relevant.py,sha256=Lf3AK2BgMNPzStQ6RPRBl4UYrQmP4j8YXmR1pNnCz5Q,23014
+unicode_logic_kit/hol/isabelle_runner.py,sha256=ih0KA22NsijxP99y2EOHR8ZEys9f0n30LZ9jl3EKDy4,54398
+unicode_logic_kit/hol/isabelle_substructural.py,sha256=7eE7luF0O1RQ-3EN4zDPpF-ZBUtiIw0NwI7exRm574s,44127
+unicode_logic_kit/hol/lean.py,sha256=4zf5l9WnpT4h0XhQZda8UJlR-in7ly9ktLW19pS3G2w,49100
+unicode_logic_kit/hol/manyvalued.py,sha256=d3g6cab3xOF5Tesu6Z61mmsJZp64lmq-LkZKN9AG4WM,43921
+unicode_logic_kit/hol/secondorder.py,sha256=tkLW7grepjbtOXvt8ZUiS7qvIPOYmGGlNfERZXPvrdM,35896
+unicode_logic_kit/hol/thf_modal.py,sha256=lqzYZviM765TfSCSvyMz2516EL5Bo7SZcCwJP0X5iko,54753
+unicode_logic_kit/hol/thirdorder.py,sha256=ODl7L6bjOFWJ5ZtgfshAnAGLy4ZsFYynoBLdRPNR54A,19550
+unicode_logic_kit/hol/deepshallow/__init__.py,sha256=fNT1ktaYxcqHe9xrE176dXR_4ULQ9OZ-sr-MeSgutGk,2306
+unicode_logic_kit/hol/deepshallow/_common.py,sha256=2EaNEi9hAVvePSMqScGUYnb1o4fv6DjabYjdtqS7uWI,8754
+unicode_logic_kit/hol/deepshallow/conditional.py,sha256=jS-G5eqXxa121dCtoV5V4ETNuLC_7n9sbB2ydoKZtvk,12599
+unicode_logic_kit/hol/deepshallow/intuitionistic.py,sha256=RHRyK1cYv5T0cNoHWhM_y20kBeY_FTCwk9STsuK5-O4,9898
+unicode_logic_kit/hol/deepshallow/modal.py,sha256=QQ1v6SVMUdjlJ9ivjghl7wviH41QoOYhDZGD9hc5W4k,11118
+unicode_logic_kit/hol/deepshallow/qml.py,sha256=_fZ20HESlJUvQNmEjtYLFuuvm322DXkw_g504XGp2Q0,22376
+unicode_logic_kit/hol/deepshallow/relevant.py,sha256=mXOOm90piQPUstjDAT4-DB9D4AH6wleNoRrx6Fzdlr0,11452
+unicode_logic_kit/ilp/__init__.py,sha256=kQNKOQ5lmgD15QHcqssFAUO1paLOzJqpOdbKdASMspc,4432
+unicode_logic_kit/ilp/readback.py,sha256=XbySOwmLAqSJX7TwW5mpqjSPN83J1zZVTqTYBIWvF7Q,18707
+unicode_logic_kit/ilp/separation.py,sha256=A02H6iiualIsBsPnybW4u-q1IK1cngd5_DQAmYP09KQ,7110
+unicode_logic_kit/ilp/task.py,sha256=XfjW3YC2COigHhTZB3LiunfmNm4-Y3Gp8ZxlFhKwClE,35059
+unicode_logic_kit/mcp/__init__.py,sha256=QyY6F5SQYVzzguxg0__o6RMfCMDdbluQERBuAGyJx3Q,1440
+unicode_logic_kit/mcp/__main__.py,sha256=22YRCHKoC1zV5OV4VxjiPQgWIRtO-CNGvIYgxws5-8E,109
+unicode_logic_kit/mcp/chem_tools.py,sha256=sNLBNUXjJPc9ihkYRiGSaYBnJNDwRuic7R10Ew7imdw,53986
+unicode_logic_kit/mcp/server.py,sha256=nB9f1WSUO_9cQ9Gq85pVECHsyBSuxI-T70GeKGIgOEA,116192
+unicode_logic_kit/mcp/syntax_spec.py,sha256=2WLAsm2LXiZWcDkxGbH-92n4qtBHrco2Bq8VT3hiRdc,38685
+unicode_logic_kit/prob/__init__.py,sha256=x-yo8MdHfQTVH5smabplu3-47uONYVs7j5ahHR3Bm4k,3070
+unicode_logic_kit/prob/_bdd.py,sha256=G1Tt2Q7efuDRSltmgjWTPZkVPZrH2v_ow3Hjt1ofeag,10517
+unicode_logic_kit/prob/_column_gen.py,sha256=L_dDcJMy7ge8wgXfUt8QNopaCQ24axfqOkvh5xoI9Hk,36252
+unicode_logic_kit/prob/distribution.py,sha256=rQJ7nO6IOP_gll5JmjTs5dxj2L7fCjCyzmXxSQmh2sk,34281
+unicode_logic_kit/prob/nilsson.py,sha256=1nAejvUAAo_B1F_UYQ8C0nEEHU_TTo_dObUa5_qGvxM,23892
+unicode_logic_kit/semantics/__init__.py,sha256=moQd91Mez6JbZFcLp2fJQ539Q8tQciZhvXIgFTH2b7g,7059
+unicode_logic_kit/semantics/_modal_reject.py,sha256=2RkatSSpnKF9Q9rEwTWUMIHE_Zsvzw65XHsb9ZOjM78,7835
+unicode_logic_kit/semantics/action_models.py,sha256=kdkHjqsUXM6NMrRvvmdBlaEKBYKOuTO5ScEdqYSt0vI,25920
+unicode_logic_kit/semantics/asp_models.py,sha256=pK2TlA_rd5ycpvuqfVrUHa0kSL65UKQXfmkPVpXFedo,62947
+unicode_logic_kit/semantics/conditional.py,sha256=qnw3UeyHjtOyH6zP4ko4ilQ7VNTThyV-9iCjWiwkXA8,31209
+unicode_logic_kit/semantics/dynamic_epistemic.py,sha256=VspaBpRTr5ohjGsMyERvIsp84_Ym_lCNDHzprGc_O4Y,4844
+unicode_logic_kit/semantics/free_logic.py,sha256=jPi7ZXfo6zRTjyWOnXwzvmwEJdJucjEKqKqm81jrnE0,48298
+unicode_logic_kit/semantics/fuzzy.py,sha256=J8bYX5NDnlz6RfgfK1ybZle2i3k4a43yZHw1jqpdqLM,19128
+unicode_logic_kit/semantics/fuzzy_kripke.py,sha256=5ax6FRBMF2-UuEQfoChLgX7Mol4U3qPPaiyUtd6C3eY,22711
+unicode_logic_kit/semantics/intuitionistic.py,sha256=K6w7Vrk6MCvEWxCA-aNAi0hx3XfQl2WQmG6MZZwG5Nk,33147
+unicode_logic_kit/semantics/kripke.py,sha256=Zey3Udk5ZfVz98KqNulwkHDQ613xj5aXXLcORp_6qYA,59422
+unicode_logic_kit/semantics/manyvalued.py,sha256=3MXDh75in4SbDDSfk-cZ_ECZYZlG3MZrtek9HVlUb9s,28065
+unicode_logic_kit/semantics/matrix.py,sha256=qRcyiNvpMBVes23hYkq94mRJFIrfXF2oCLRt46c1AkE,16302
+unicode_logic_kit/semantics/model_eval.py,sha256=PX76S00eNhKzp4buRFzEtC1uUBGVlDboqkUpEJAdg-Q,61181
+unicode_logic_kit/semantics/modelfinder.py,sha256=wRQIJ8qC6rEwfzDT76d5VD3YNBjEGy7prUZDPrbkOuE,57685
+unicode_logic_kit/semantics/nonmonotonic.py,sha256=aGa9dxlwRvmjGxGYo-nL9un5m0JSUSrsTO5qiBq87iU,18570
+unicode_logic_kit/semantics/relevant.py,sha256=XIe9iK1IwR8GpPimWte8VObhuzykYDnnQbYqsL9-UqM,16350
+unicode_logic_kit/semantics/secondorder.py,sha256=zDqljd35VWwi5Erc-umaweiAW3-b4xohJGslEjuNc1I,33617
+unicode_logic_kit/semantics/structures.py,sha256=3dcxqNDUZLDfAonCnV3M0eCvAj5LYQmAhxT4U1xY690,16612
+unicode_logic_kit/semantics/tarski.py,sha256=OsrxZrtycsWOK5G-B-Ef73IzwVW8Vkb1aHXUi7CLSEI,47793
+unicode_logic_kit/semantics/team.py,sha256=Oj2DlwEZIqv5yncc1AGFUvK_OXHQQTQURrZrvqBgz5I,15117
+unicode_logic_kit/semantics/team_translation.py,sha256=x4UBu0gzf6Vtm9fAyxI2Lu_ZfCsnkI_M_q8NFza0Qas,22157
+unicode_logic_kit/semantics/thirdorder.py,sha256=Cks7vmJK5upBsmw6iFwRB9XW5kiishWuUP6owRlmh5s,18224
+unicode_logic_kit/semantics/tnorm.py,sha256=wga1lwrmuSJKewh2ur2GzTmm99U5DLBgX2I5CKKn_ho,3091
+unicode_logic_kit/semantics/truthtable.py,sha256=DeVuxQzpq-vdODYjEb20ANTiFLbNdY-5SJi3PQ8cKcQ,8628
+unicode_logic_kit-0.31.0.dist-info/METADATA,sha256=4SuBT9so5uA3ldJdxwIVm1qqD7K8MHZgAO78Fll66SQ,20915
+unicode_logic_kit-0.31.0.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
+unicode_logic_kit-0.31.0.dist-info/licenses/LICENSE,sha256=7dmYojJxe47M_IX5Ud27nxsuIj2u0D4vjALCWFgUo_k,1069
+unicode_logic_kit-0.31.0.dist-info/RECORD,,

unicode_logic_kit-0.31.0.dist-info/WHEEL

@@ -0,0 +1,4 @@
+Wheel-Version: 1.0
+Generator: hatchling 1.32.4
+Root-Is-Purelib: true
+Tag: py3-none-any

unicode_logic_kit-0.31.0.dist-info/licenses/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Felix Vossel
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.