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.
- unicode_logic_kit-0.31.0/.gitignore +190 -0
- unicode_logic_kit-0.31.0/CHANGELOG.md +4754 -0
- unicode_logic_kit-0.31.0/LICENSE +21 -0
- unicode_logic_kit-0.31.0/PKG-INFO +333 -0
- unicode_logic_kit-0.31.0/README.md +278 -0
- unicode_logic_kit-0.31.0/docs/.gitignore +2 -0
- unicode_logic_kit-0.31.0/docs/_static/.gitkeep +0 -0
- unicode_logic_kit-0.31.0/docs/_templates/.gitkeep +0 -0
- unicode_logic_kit-0.31.0/docs/api.md +1774 -0
- unicode_logic_kit-0.31.0/docs/changelog.md +5 -0
- unicode_logic_kit-0.31.0/docs/conf.py +115 -0
- unicode_logic_kit-0.31.0/docs/guide/batch-checking.md +234 -0
- unicode_logic_kit-0.31.0/docs/guide/choosing.md +427 -0
- unicode_logic_kit-0.31.0/docs/guide/classical-reasoning.md +1200 -0
- unicode_logic_kit-0.31.0/docs/guide/dependence.md +193 -0
- unicode_logic_kit-0.31.0/docs/guide/derivations.md +109 -0
- unicode_logic_kit-0.31.0/docs/guide/description-logic.md +1995 -0
- unicode_logic_kit-0.31.0/docs/guide/exercises.md +131 -0
- unicode_logic_kit-0.31.0/docs/guide/finite-domain.md +877 -0
- unicode_logic_kit-0.31.0/docs/guide/fuzzy.md +562 -0
- unicode_logic_kit-0.31.0/docs/guide/higher-order.md +1049 -0
- unicode_logic_kit-0.31.0/docs/guide/hybrid.md +274 -0
- unicode_logic_kit-0.31.0/docs/guide/installation.md +58 -0
- unicode_logic_kit-0.31.0/docs/guide/interoperability.md +1752 -0
- unicode_logic_kit-0.31.0/docs/guide/intuitionistic.md +482 -0
- unicode_logic_kit-0.31.0/docs/guide/lean.md +294 -0
- unicode_logic_kit-0.31.0/docs/guide/linear-temporal.md +240 -0
- unicode_logic_kit-0.31.0/docs/guide/logic-graph.md +449 -0
- unicode_logic_kit-0.31.0/docs/guide/many-valued.md +624 -0
- unicode_logic_kit-0.31.0/docs/guide/mcp.md +488 -0
- unicode_logic_kit-0.31.0/docs/guide/modal.md +1060 -0
- unicode_logic_kit-0.31.0/docs/guide/model-checking.md +405 -0
- unicode_logic_kit-0.31.0/docs/guide/natural-language.md +562 -0
- unicode_logic_kit-0.31.0/docs/guide/nonclassical.md +847 -0
- unicode_logic_kit-0.31.0/docs/guide/parsing.md +846 -0
- unicode_logic_kit-0.31.0/docs/guide/probabilistic.md +324 -0
- unicode_logic_kit-0.31.0/docs/guide/quantified-modal.md +875 -0
- unicode_logic_kit-0.31.0/docs/guide/quickstart.md +960 -0
- unicode_logic_kit-0.31.0/docs/guide/relevant.md +180 -0
- unicode_logic_kit-0.31.0/docs/guide/second-order.md +617 -0
- unicode_logic_kit-0.31.0/docs/guide/substructural.md +310 -0
- unicode_logic_kit-0.31.0/docs/guide/syntax-reference.md +571 -0
- unicode_logic_kit-0.31.0/docs/guide/third-order.md +236 -0
- unicode_logic_kit-0.31.0/docs/guide/transforms.md +814 -0
- unicode_logic_kit-0.31.0/docs/guide/verification.md +257 -0
- unicode_logic_kit-0.31.0/docs/index.md +98 -0
- unicode_logic_kit-0.31.0/docs/requirements.txt +4 -0
- unicode_logic_kit-0.31.0/pyproject.toml +208 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/__init__.py +385 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/__main__.py +520 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/_deadline.py +219 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/ace/__init__.py +126 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/ace/_align.py +135 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/ace/chem_lexicon.py +128 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/ace/drs_reader.py +570 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/ace/mapping.py +666 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/ace/reverse_modal.py +138 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/ace/runner.py +551 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/ace/translate.py +452 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/ace/verbalize.py +1070 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/api.py +1284 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/__init__.py +177 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/_ascii_names.py +113 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/_html.py +72 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/_substructural_input.py +228 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/_tff_problem.py +715 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/_tptp_problem.py +1111 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/_writer_support.py +289 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/clingo_backend.py +1180 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/cvc5_backend.py +1385 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/eprover_backend.py +732 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/finite_domain.py +1055 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/fitch.py +1547 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/fitch_search.py +551 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/hets_backend.py +339 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/hybrid_down.py +120 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/incremental.py +250 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/kripke_enum.py +741 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/lambek.py +436 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/leo3_backend.py +332 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/linear.py +738 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/lj.py +705 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/logic_backends.py +566 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/ltl_tableau.py +1084 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/minizinc_backend.py +1402 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/modal_tableau.py +1382 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/nanocop_backend.py +410 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/portfolio.py +489 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/protocol.py +1803 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/prover9_entailment.py +1153 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/resolution.py +1376 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/resolution_check.py +1114 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/sequent.py +1050 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/tableau.py +921 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/tableau_check.py +543 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/tptp_ncl.py +811 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/tptp_tff.py +1546 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/tstp.py +1333 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/tstp_check.py +1096 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/twee_backend.py +236 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/twee_check.py +711 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/twee_entailment.py +953 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/vampire_entailment.py +540 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/z3_arith.py +470 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/z3_equivalence.py +36 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/z3_fuzzy.py +362 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/z3_input.py +500 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/atp/z3_models.py +208 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/chem/__init__.py +88 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/chem/_naming.py +284 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/chem/cache.py +185 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/chem/interop.py +244 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/chem/mol.py +525 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/chem/signature.py +112 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/comorphism.py +497 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/dl/__init__.py +384 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/dl/classification.py +227 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/dl/concepts.py +632 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/dl/datatypes.py +818 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/dl/owl_functional.py +2433 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/dl/owl_manchester.py +1637 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/dl/owl_reasoner.py +790 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/dl/parser.py +391 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/dl/tableau.py +4048 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/dl/translate.py +2704 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/drt/__init__.py +94 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/drt/export.py +179 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/drt/nodes.py +506 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/drt/parser.py +965 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/drt/resolve.py +195 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/drt/reverse.py +175 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/__init__.py +106 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/batch.py +382 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/canonical.py +663 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/chem_batch.py +606 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/converses.py +200 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/__init__.py +136 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/_base.py +263 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/_proofwriter_proof.py +422 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/c3po.py +678 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/folio.py +158 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/fracas.py +418 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/groves.py +191 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/logicbench.py +467 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/logicnli.py +303 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/malls.py +133 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/pfolio.py +594 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/pmb.py +242 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/prontoqa.py +611 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/proofwriter.py +1431 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/proverqa.py +674 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/datasets/willow.py +478 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/equivalence.py +466 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/exercise_gen.py +533 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/explain.py +791 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/generality.py +750 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/metric_hf.py +458 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/predicate_match.py +343 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/theory_check.py +1170 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/eval/validate.py +306 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/__init__.py +177 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_atom_keys.py +510 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_fol_nodes.py +3586 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_free_parameters.py +105 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_ho_nodes.py +448 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_hybrid_nodes.py +308 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_identifiers.py +1091 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_lambek_nodes.py +112 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_linear_nodes.py +352 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_modal_nodes.py +1467 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_msfl_nodes.py +2196 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_numeral_symbols.py +231 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_so_nodes.py +200 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_symbol_names.py +81 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_team_nodes.py +181 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_tptp_symbols.py +551 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/_truth_constants.py +117 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/casl_export.py +1135 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/casl_import.py +929 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/derivation.py +367 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/dialect_detect.py +70 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/dialect_repair.py +537 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/frames.py +637 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/grammars/terminals.lark +31 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/lambda_tools.py +297 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/latex_input.py +429 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/modal_translation.py +944 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/msflparser.py +1033 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/naming.py +422 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/nodes.py +241 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/normalforms.py +492 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/pal.py +287 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/prolog_export.py +566 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/prolog_input.py +505 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/prover9_input.py +1325 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/qml.py +1760 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/qmltp_input.py +525 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/sanitize.py +221 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/serialize.py +79 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/signature.py +1290 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/simplify_check.py +544 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/spans.py +594 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/tptp_input.py +1503 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/tptp_repair.py +941 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/unification.py +157 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/fol/verbalize.py +263 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hets/__init__.py +163 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hets/bridge.py +142 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hets/client.py +748 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hets/docker.py +420 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hets/dol.py +712 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hets/haskell_json.py +355 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hets/owl_backend.py +794 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hets/owl_cli.py +598 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hets/symbols.py +512 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/__init__.py +140 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/_ho_common.py +323 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/_isabelle_binders.py +125 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/classical.py +812 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/deepshallow/__init__.py +45 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/deepshallow/_common.py +177 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/deepshallow/conditional.py +225 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/deepshallow/intuitionistic.py +181 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/deepshallow/modal.py +217 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/deepshallow/qml.py +406 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/deepshallow/relevant.py +206 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/free.py +753 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/goedel.py +336 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/ho_modal.py +1743 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/intuitionistic.py +403 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/isabelle_conditional.py +593 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/isabelle_modal.py +1908 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/isabelle_relevant.py +412 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/isabelle_runner.py +1147 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/isabelle_substructural.py +884 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/lean.py +1018 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/manyvalued.py +921 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/secondorder.py +687 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/thf_modal.py +941 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/hol/thirdorder.py +397 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/ilp/__init__.py +89 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/ilp/readback.py +389 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/ilp/separation.py +153 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/ilp/task.py +730 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/logic.py +163 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/mcp/__init__.py +28 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/mcp/__main__.py +5 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/mcp/chem_tools.py +1031 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/mcp/server.py +2453 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/mcp/syntax_spec.py +681 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/prob/__init__.py +53 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/prob/_bdd.py +225 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/prob/_column_gen.py +668 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/prob/distribution.py +686 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/prob/nilsson.py +470 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/py.typed +0 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/__init__.py +137 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/_modal_reject.py +156 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/action_models.py +466 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/asp_models.py +1200 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/conditional.py +580 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/dynamic_epistemic.py +95 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/free_logic.py +913 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/fuzzy.py +384 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/fuzzy_kripke.py +442 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/intuitionistic.py +581 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/kripke.py +1139 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/manyvalued.py +580 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/matrix.py +342 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/model_eval.py +1135 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/modelfinder.py +1036 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/nonmonotonic.py +372 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/relevant.py +331 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/secondorder.py +657 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/structures.py +352 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/tarski.py +975 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/team.py +315 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/team_translation.py +416 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/thirdorder.py +358 -0
- unicode_logic_kit-0.31.0/unicode_logic_kit/semantics/tnorm.py +85 -0
- 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/
|