yuho 5.0.0__py3-none-any.whl

yuho-5.0.0.dist-info/METADATA

@@ -0,0 +1,186 @@
+Metadata-Version: 2.4
+Name: yuho
+Version: 5.0.0
+Summary: A domain-specific language for encoding legal statutes
+Project-URL: Homepage, https://github.com/gongahkia/yuho
+Project-URL: Documentation, https://yuho.dev/docs
+Project-URL: Repository, https://github.com/gongahkia/yuho
+Author-email: gongahkia <gongahkia@example.com>
+License-Expression: MIT
+Keywords: dsl,law,legal,parser,statute,transpiler
+Classifier: Development Status :: 4 - Beta
+Classifier: Intended Audience :: Developers
+Classifier: Intended Audience :: Legal Industry
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Topic :: Software Development :: Compilers
+Classifier: Topic :: Text Processing :: Linguistic
+Requires-Python: >=3.10
+Requires-Dist: click<9.0,>=8.0
+Requires-Dist: tree-sitter<0.24.0,>=0.21.0
+Provides-Extra: all
+Requires-Dist: black<25.0,>=23.0; extra == 'all'
+Requires-Dist: fastmcp<1.0,>=0.1; extra == 'all'
+Requires-Dist: httpx<1.0,>=0.24; extra == 'all'
+Requires-Dist: hypothesis<7.0,>=6.0; extra == 'all'
+Requires-Dist: mypy<2.0,>=1.0; extra == 'all'
+Requires-Dist: pygls<2.0,>=1.0; extra == 'all'
+Requires-Dist: pytest<9.0,>=7.0; extra == 'all'
+Requires-Dist: transformers<5.0,>=4.30; extra == 'all'
+Provides-Extra: dev
+Requires-Dist: black<25.0,>=23.0; extra == 'dev'
+Requires-Dist: hypothesis<7.0,>=6.0; extra == 'dev'
+Requires-Dist: mypy<2.0,>=1.0; extra == 'dev'
+Requires-Dist: pytest<9.0,>=7.0; extra == 'dev'
+Provides-Extra: llm
+Requires-Dist: httpx<1.0,>=0.24; extra == 'llm'
+Requires-Dist: transformers<5.0,>=4.30; extra == 'llm'
+Provides-Extra: lsp
+Requires-Dist: pygls<2.0,>=1.0; extra == 'lsp'
+Provides-Extra: mcp
+Requires-Dist: fastmcp<1.0,>=0.1; extra == 'mcp'
+Requires-Dist: httpx<1.0,>=0.24; extra == 'mcp'
+Description-Content-Type: text/markdown
+
+[![](https://img.shields.io/badge/yuho_1.0-passing-%23004D00)](https://github.com/gongahkia/yuho/releases/tag/1.0) 
+[![](https://img.shields.io/badge/yuho_2.0-passing-%23228B22)](https://github.com/gongahkia/yuho/releases/tag/2.0) 
+[![](https://img.shields.io/badge/yuho_3.0-passing-%2332CD32)](https://github.com/gongahkia/yuho/releases/tag/3.0) 
+[![](https://img.shields.io/badge/yuho_4.0-passing-%237CFC00)](https://github.com/gongahkia/yuho/releases/tag/4.0) 
+[![](https://img.shields.io/badge/yuho_5.0-passing-%2398FB98)](https://github.com/gongahkia/yuho/releases/tag/5.0) 
+![](https://github.com/gongahkia/yuho/actions/workflows/ci.yml/badge.svg)
+![](https://github.com/gongahkia/yuho/actions/workflows/release.yml/badge.svg)
+
+# `Yuho`  
+
+<p align="center">
+    <img src="./asset/logo/yuho_mascot.png" width=40% height=40%>
+</p>
+
+Yuho is a domain-specific language dedicated to simplifying [legalese](https://www.merriam-webster.com/dictionary/legalese) by providing a programmatic representation of Singapore Law.  
+
+Current applications are focused on Singapore Criminal Law but really can be applied to any jurisdiction that relies on [statutes](https://www.merriam-webster.com/dictionary/statute).
+
+## Rationale
+
+The law is innately complex.  
+
+[Statutes](https://sso.agc.gov.sg/) are not always easy to understand, especially for incoming law students new to [legalese](https://www.merriam-webster.com/dictionary/legalese) and its [logical structure](https://law.stanford.edu/wp-content/uploads/2018/04/ILEI-Forms-of-Legal-Reasoning-2014.pdf).  
+
+Criminal Law is often a [foundational module](https://law.smu.edu.sg/programmes/core-courses-description) most students take in their first year of law school. In particular, Singapore Criminal Law is nearly entirely statute-based, largely focusing on the [Penal Code](https://sso.agc.gov.sg/Act/PC1871).
+
+Yuho is a DSL that seeks to *help law students* better understand statutes by providing a flexible syntax which affords a programmatic representation of Singapore Criminal Law. By allowing users to decide how to represent stautory provisions in `.yh` code, the hope is that the statute's key elements and its underlying conditional relationships surface themselves. These representations can be coarse or granular, entirely scoped by their use-cases.  
+
+Getting into the specifics, Yuho provides the following four products.
+
+1. [Yuho](./doc/SYNTAX.md), a DSL made to be readable and codeable by law students and lawyers
+2. [Formalised semantics](./tests/) for legal reasoning modelled after the syntactical patterns of the law
+3. [CLI tool](./src/yuho/cli/) for interacting with Yuho's primary functions in the CLI
+4. [LSP](./src/yuho/lsp/) for editor integration with diagnostics, completion, and hover
+5. [Transpiler](./src/yuho/transpile/) that transpiles to multiple targets
+
+### Output formats
+
+| Target | Usage |
+| :--- | :--- |
+| JSON | Machine-readable structured representation for tooling integration |
+| JSON-LD | Linked data format for semantic web applications |
+| English | Human-readable plain English explanation of statutory logic |
+| Alloy | Formal verification with Alloy Analyzer |
+| Z3 | SMT-based constraint solving and verification |
+| Mermaid | Diagrammatic representations of statutory logic *(mindmap, flowchart)* |
+
+Sold on Yuho? Check out the [quickstart](#quickstart) guide.
+
+> [!TIP]
+> More transpilation outputs can be added. Open an issue to contribute suggestions!
+
+## Nerd stuff
+
+For those interested, Yuho v5 provides:
+
+* **Tree-sitter based parser** for robust, incremental parsing with excellent error recovery
+* **Full LSP implementation** with diagnostics, completion, hover, go-to-definition, and references
+* **Property-based testing** with [Hypothesis](https://hypothesis.readthedocs.io/) for thorough validation
+* **Formal verification** integration with [Alloy](https://alloytools.org/) and [Z3](https://github.com/Z3Prover/z3)
+* **LLM integration** for statute explanation and analysis (local-first with Ollama, cloud fallback)
+* **MCP server** exposing all functionality via Model Context Protocol
+
+Yuho is [grammatically-validated](https://www.usna.edu/Users/cs/wcbrown/courses/F19SI413/lec/l07/lec.html), [exception-validated](https://www.reddit.com/r/learnjavascript/comments/y6663u/difference_between_input_validation_and_exception/), and [language-agnostic](https://softwareengineering.stackexchange.com/questions/28484/what-is-language-agnosticism-and-why-is-it-called-that), transpiling from one formally-specified source of truth to multiple target outputs.
+
+Want to find out more? See Yuho's [documentation](#documentation).
+
+### Documentation
+
+* [Language specification](./doc/SYNTAX.md)
+* [Grammar specification](./grammar)
+* [Formal verification](./tests)
+* [Library statutes](./library/penal_code)
+* [Examples](./example)
+
+## Quickstart
+
+**Yuho v5.0**: Install via pip and start using immediately:
+
+```bash
+pip install yuho
+yuho --help
+```
+
+**Learn Yuho**: Understand the basics in 5 minutes at [`5_MINUTES.md`](./doc/5_MINUTES.md).
+
+**Legacy versions**: See [`archive/`](./archive/) for v1-v4 implementations.
+
+## Roadmap
+
+For more details on what's being implemented in the future, refer to [`ROADMAP.md`](./doc/ROADMAP.md).
+
+## Scope
+
+Development is currently scoped by the following statutes at [`SCOPE.md`](./doc/SCOPE.md). 
+
+## Contribute
+
+Yuho is open-source. Contribution guidelines are found at [`CONTRIBUTING.md`](./admin/CONTRIBUTING.md).
+
+## References
+
+### Analogues
+
+Yuho takes much inspiration from the following projects.  
+
+* [Natural L4](https://github.com/smucclaw/dsl): Language with an English-like syntax that transpiles to multiple targets, focused on codification of Singapore law at large and Contract Law in specific.
+* [Catala](https://github.com/CatalaLang): Language syntax that explicitly mimicks logical structure of the Law, focused on general Socio-fiscal legislature in most jurisidictions.
+* [Blawx](https://github.com/Lexpedite/blawx): User-friendly web-based tool for Rules as Code, a declarative logic knowledge representation tool for encoding, testing and using rules.
+* [Morphir](https://github.com/finos/morphir): Technology agnostic toolkit for digitisation of business models and their underlying decision logic, enabling automation in fintech.
+* [OpenFisca](https://github.com/openfisca/openfisca-core): Open-source platform for modelling social policies through tax and benefits systems across jurisdictions.
+* [Docassemble](https://docassemble.org/): Document automation system for generating guided interview documents through a question-and-answer interface.
+* [Akoma Ntoso](https://github.com/oasis-open/legaldocml-akomantoso): Standardised XML schema for representing parliamentary, legislative and judiciary documents across jurisdictions.
+
+### Research
+
+Yuho stands on the shoulders of past research and academia.  
+
+* [A Logic for Statutes](https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3088206) by Sarah B Lawsky
+* [An End-to-End Pipeline from Law Text to Logical Formulas](https://ebooks.iospress.nl/volumearticle/62060) by Aarne Ranta, Inari Listenmaa, Jerrold Soh and Meng Weng Wong
+* [Symbolic and automatic differentiation of languages](https://dl.acm.org/doi/10.1145/3473583) by Conal Elliott
+* [Legal Rules, Legal Reasoning, and Nonmonotonic Logic](https://philpapers.org/rec/RIGLRL-2) by Adam W Rigoni
+* [Law and logic: A review from an argumentation perspective](https://www.sciencedirect.com/science/article/pii/S0004370215000910) by Henry Prakken and Giovanni Sartor
+* [Rules as code: Seven levels of digitisation](https://ink.library.smu.edu.sg/cgi/viewcontent.cgi?article=5051&context=sol_research) by Meng Weng Wong
+* [Defeasible semantics for L4](https://ink.library.smu.edu.sg/cclaw/5/) by Guido Governatori and Meng Weng Wong
+* [CLAWs and Effect](https://www.lawsociety.org.sg/publication/claws-and-effect/) by Alexis N Chun
+* [The LKIF Core Ontology of Basic Legal Concepts](https://ceur-ws.org/Vol-321/paper3.pdf) by Rinke Hoekstra, Joost Breuker, Marcello Di Bello and Alexander Boer
+* [ChatGPT, Large Language Models, and Law](https://fordhamlawreview.org/issues/chatgpt-large-language-models-and-law/) by Harry Surden
+* [Scaling Laws for Neural Language Models](https://arxiv.org/abs/2001.08361) by Jared Kaplan, Sam McCandlish, Tom Henighan, Tom B Brown, Benjamin Chess, Rewon Child, Scott Gray, Alec Radford, Jeffrey Wu and Dario Amodei
+* [Large Language Models in Law: A Survey](https://arxiv.org/pdf/2312.03718) by Jinqi Lai, Wensheng Gan, Jiayang Wu, Zhenlian Qi and Philip S Yu
+* [Automating Defeasible Reasoning in Law with Answer Set Programming](http://platon.etsii.urjc.es/~jarias/GDE-2022/GDE-07.pdf) by Lim How Khang, Avishkar Mahajan, Martin Strecker and Meng Weng Wong
+* [User Guided Abductive Proof Generation for Answer Set Programming Queries](https://dl.acm.org/doi/10.1145/3551357.3551383) by Avishkar Mahajan, Martin Strecker and Meng Weng Wong
+* [Computer-Readable Legislation Project: What might an IDE-like drafting tool look like?](https://osf.io/uk2vy/) by Matthew Waddington, Laurence Diver and Tin San Leon Qiu
+* [Normalized Legal Drafting and the Query Method](https://repository.law.umich.edu/articles/29/) by Layman E Allen and C Rudy Engholm
+* [An IDE-like tool for legislative drafting](https://crlp-jerseyldo.github.io/work/an-ide-for-legislation) by crlp-jerseyldo.github.io
+* [The Grammar And Structure Of Legal Texts](https://academic.oup.com/edited-volume/34877/chapter-abstract/298341735?redirectedFrom=fulltext) by Risto Hiltunen
+* [Does Justice Have a Syntax?](https://www.jstor.org/stable/27073484) by Steven L Winter
+* [The syntax of legal exceptions: how the absence of proof is a proof of absence thereof](https://www.tandfonline.com/doi/abs/10.1080/20414005.2017.1283567) by Kyriakos N Kotsoglou
+* [The British Nationality Act as a logic program](https://www.semanticscholar.org/paper/The-British-Nationality-Act-as-a-logic-program-Sergot-Sadri/16d480717a1d233ae94b09e3b983d8cc96437644) by M Sergot, F Sadri, R Kowalski, F Kriwaczek, P Hammond and H T Cory

yuho-5.0.0.dist-info/RECORD

@@ -0,0 +1,91 @@
+yuho/__init__.py,sha256=HAfxfYTI_8zTU9RrfC4lcGeCQkYNW5L5nU6UF2g-q6g,505
+yuho/ast/__init__.py,sha256=N195bRlbVz3hGRVSUcNVXZIdTp7GVtEuwtWNpBf73_0,3990
+yuho/ast/builder.py,sha256=DLED5Q88fnn4qOK_9NxNG_L0MzNDwKAxoHXkIbDM93I,37553
+yuho/ast/constant_folder.py,sha256=gvHhXNfQSDI7qs3OfNQhkHI3RxeSJCUmn6cXODY0BwE,10018
+yuho/ast/dead_code.py,sha256=hQsc2IaIDfjSPQLSbAly5spayf4CTL8N4kbp5qFzShk,6656
+yuho/ast/exhaustiveness.py,sha256=nr-Ac_TSwwnvfGDU9xwjydesHSSCwMh079gNISZ2DQw,18417
+yuho/ast/nodes.py,sha256=zVcs-L3VantxnrWK216CnQH8mjCOlB4RVv01vPefteA,24712
+yuho/ast/overlap.py,sha256=drDoMEetEl_IFle19zL7L8B7rqPUoCp_G2m88FO1RZE,9720
+yuho/ast/reachability.py,sha256=-WISr5Y9ZaOiIwiN8OLd4sNkoBjbZUN3tk-THaGsoLA,9782
+yuho/ast/scope_analysis.py,sha256=XROQfXy9amU4ZBVlf_UxkxNwG8baXy1eGoPhRN6dT44,16201
+yuho/ast/transformer.py,sha256=et61Fd6LN5EfMMQWh4mUjtpYWYUX9fFAMSazsRZmCzM,19634
+yuho/ast/type_check.py,sha256=AvBhUPjhTWW23-4_t8n4DzgblCIKKbOI9gjUZ4gCTFs,17237
+yuho/ast/type_inference.py,sha256=b-lj5YQxm-nqappSJaYdjJO6SJgbDQYdMMznAs0VQZ0,16041
+yuho/ast/visitor.py,sha256=kEYQQHZb9_Hi4fpn0O8j6yiyP_MByI7YJ0JDwT4SjCE,8618
+yuho/cli/__init__.py,sha256=7mplKKfDd3v5901nkcYr5M-b5NlJazpJUNmwg4qb7Ao,356
+yuho/cli/completions.py,sha256=vkgTrBszf-YXdXcbDLEoUHr49-V5KQlKCQEJ4jyX7sI,4586
+yuho/cli/error_formatter.py,sha256=u9XRBOtQiiM7NcNbrpoMVPAJGilaeUHcfFtaTH3MPrU,5911
+yuho/cli/main.py,sha256=FBZmLbeoiQyL70iqeulFPBmj9Hlmcm7QdjW-BK2gQCs,33224
+yuho/cli/commands/__init__.py,sha256=weT_1UUG8bWrm_1-nTnjYo70cH6YoDc8eD1H4yoEqew,36
+yuho/cli/commands/api.py,sha256=NJetADN0ecM6sfUjMFG70pZWr6iSf6tF2xkqrjWkF0s,14019
+yuho/cli/commands/ast_viz.py,sha256=oEVWi20U-Z6dY1QGJfttNpZ7a22Z-1qf7LHmbfQt9MM,10340
+yuho/cli/commands/check.py,sha256=eiubIgK189fW13gdu3sqrPGJy9AY0zpGvMIe6UBi6_k,7770
+yuho/cli/commands/config.py,sha256=DYpeZnQPdmYnibF_a1ZKTsw9vF8_AZFqpXGVaAb2BUA,10611
+yuho/cli/commands/contribute.py,sha256=sXm16vDUcyCovy1PVyAsGVNx3n01bzBZx442-baLd_8,3793
+yuho/cli/commands/diff.py,sha256=8C5SgG2CkoLfUS-K89GdSSY-bqHYxzfW0TnesflzIQ0,16306
+yuho/cli/commands/explain.py,sha256=OT80R_q0lgPZnMBAFfkCUXj54OEUyDr0ELHC7Qsd8B0,7895
+yuho/cli/commands/fmt.py,sha256=fvgqQE7KrH8hgGYAFWmpMXwKjfQKrjIpt4r6_TIEsck,8570
+yuho/cli/commands/generate.py,sha256=Gub1LswbJ3oRX06f-RMlRNlTJYZB6XQrtblDdKGlHPo,10080
+yuho/cli/commands/graph.py,sha256=ucKCdpko2sxUSIJhkaZ6XXgPOBKE_xTV2s_-rR5YZxo,12089
+yuho/cli/commands/init.py,sha256=Ze6r9VMcuK-GY0XfApFjFf0nNPfbHWqPLmkpqbSY8D8,3385
+yuho/cli/commands/library.py,sha256=59-U2m2TbhW28lUVLw-whraKgZqrHUJfUzMtcnNQ6rY,20688
+yuho/cli/commands/lint.py,sha256=lSe9ON6c38NRZ66wK2n-1XfYw6_U6SsjhVCnM_KkrTY,17456
+yuho/cli/commands/lsp.py,sha256=qoC_YvM5oTQRPQFSkCH12zYsr0Uskx4f8GJeYSa8MDg,971
+yuho/cli/commands/preview.py,sha256=NdsJpGODZHwFTcMSRmg1d9-1uIcabmXe3_iNXz9aCAY,11699
+yuho/cli/commands/repl.py,sha256=WrFM7gHbJx2Z7oEsDFyYw-3H_YzoLcagZ7B5s9dRS74,14811
+yuho/cli/commands/serve.py,sha256=o65tthLqhpaQ5zh7ow94R3v_C6YOYO-luOHkvitsUWQ,1305
+yuho/cli/commands/test.py,sha256=Pt2sbsfoZODu8dKh1naffoRtaSpfYwJlVcgSrl5zwf8,18251
+yuho/cli/commands/transpile.py,sha256=0Z_zhgFtQnub_Fv1_MmF-Bf9IOPkikNOPriDgamWwbI,3734
+yuho/cli/commands/wizard.py,sha256=5l2sCPZvYfTecfvtTp7M4kqREul4rqk-ztv-5pUU8z0,12641
+yuho/config/__init__.py,sha256=BA3FCa38aK0QP7Sg8uss79ULrEWzLonXfNJ_ds4XCqQ,879
+yuho/config/loader.py,sha256=MnQLrl6SYRY3kuMHKtj1krbmCphvpfH-TYP-2KjwSGU,6584
+yuho/config/mask.py,sha256=piBKXigh646eeYzOKU0Nz1TEZHvTRikjB20D2gNTD68,5205
+yuho/config/schema.py,sha256=E7C9EAVcpjTJDstLCHSIma4B3a2cnM09BxNEJQIBbKc,5466
+yuho/library/__init__.py,sha256=Jdtj0KPk0EcyzpHGqeUyu9Pnh1gtmIyBAlcPsdRD7bY,1762
+yuho/library/index.py,sha256=rVXxuBkknWB_j0BlXR6x_7A2QUjiNyLMqFobnbgh5eE,10523
+yuho/library/install.py,sha256=ESVyW-lQJSbrja__HKDksc79IVhCZgdnev_PnSjQc7g,21582
+yuho/library/lockfile.py,sha256=Y5SVT-Ni6a7fxbhbOBBG9d8yzO-cRdETP8EakajNJ-4,9710
+yuho/library/package.py,sha256=0TdousKDO_2yirkCiwbjHHYSFphHxV-Qb0xS4WhRUOE,14007
+yuho/library/resolver.py,sha256=lErnSF642eADEHqeXTtL6xLVOPs4v-t9Urfj4VvCGAE,26826
+yuho/library/signature.py,sha256=4QzEy6g0lRn0zZjxFaBEvnUm5Js2qUD1Yb-jUl-mOaQ,10085
+yuho/llm/__init__.py,sha256=H3m9jY8CI6vfRXMd0ccww5EG8k5Ya6Mdh6JYL56Ow1A,969
+yuho/llm/config.py,sha256=iUExHJgEZOkwyabHElX3XxRXbqxodK8zkZ-Q3XPmXSc,2530
+yuho/llm/factory.py,sha256=6Qqcn2b141DrKKVuk320jWee0xoLVPaR7rZ8DDqPczU,3926
+yuho/llm/prompts.py,sha256=08XdOz_aW7XWf5MNvA9mnppNPlUmW5r7Frla_GET6z8,3806
+yuho/llm/providers.py,sha256=dq_oGalSFWx0xVmb05xwMqVMfSm4AI38K7aks_VYcXc,12474
+yuho/llm/utils.py,sha256=Vx89pkfVkoRfKgO6RK_pU_8UUWx1u8mgyRJOeaU2HwE,15652
+yuho/lsp/__init__.py,sha256=fJ3im1ebvw_aaCJPHll-n3js-vaxQDdcW4JxjOydvYw,288
+yuho/lsp/code_action_handler.py,sha256=T-PgEVz3fUivbFHP5-9HD4auOr4T0q8TLTGqgPHY7yQ,18330
+yuho/lsp/completion_handler.py,sha256=TDfdEVjqqCkvg2nby31YCuUHlmsQLIFyCyS9TdDBCmk,2592
+yuho/lsp/diagnostics.py,sha256=qEi9JDA9iuOjx1btG8zoG41IHAi1bEjKP-smyYPYogo,3065
+yuho/lsp/hover_handler.py,sha256=VBRWyYFUVXqai46HrjUt91rMrWcDq2w9Xmp0VE2AKa4,4884
+yuho/lsp/server.py,sha256=Z8ZcUpAc559HgP7aHBVhKuau2gbnUyTu2dOCe5zF-L4,54225
+yuho/mcp/__init__.py,sha256=N6e9BjGZ6F3KivzHkfVGlKCllO26xYVTm3_fukIXNBY,302
+yuho/mcp/server.py,sha256=6XRUZu-ERkW5PPghSUt--jvZH7irhQyQV-e-fimg9n4,51979
+yuho/parser/__init__.py,sha256=oPlVid1qAfmUWLvZARzV1ngvTG0hUOMSUY4dYR0F-nM,280
+yuho/parser/source_location.py,sha256=ODOPfpefukR7wD_BGuG44GPG5pcDIgYNMsNiKTmLFBw,4029
+yuho/parser/wrapper.py,sha256=Kqq3lE1XMroHyRy94lfBvLBYurD9xE1gTTPtHkhQz9g,9648
+yuho/testing/__init__.py,sha256=ueN0IXYzKFmPyhyY1gqRuZYzoAxp75lgQs4Rz-JQN5Q,1086
+yuho/testing/coverage.py,sha256=uaIOpPq9pNWT7f5MAy61zXhtsiL01IPfardGeAdVZF4,9946
+yuho/testing/fixtures.py,sha256=xMx3vmS7589t2wmBYIyL2SPxWbR11QdkCSIEE49XezU,7844
+yuho/transpile/__init__.py,sha256=FU7Zd_4CNrWrg6Z3FABdss8Fk_W7oYDnZqrtGGLQIEY,1603
+yuho/transpile/alloy_transpiler.py,sha256=WxvhYAZqC1W6C_9zySpYbuoTfg3lp2yckH2AO5irc-o,21756
+yuho/transpile/base.py,sha256=YRHGRcJItAXwLVwhXb3-bY3KfaRU-2G7JkgxYOmLxOk,2780
+yuho/transpile/blocks_transpiler.py,sha256=gVHsCRpM-ewWvDlPH3QJ8MLYHn7Hje3sUtyU2zXaZj8,10766
+yuho/transpile/english_transpiler.py,sha256=q6kldrfOJNGsTmd39FQd5COkZdXzm8pw6WnpL9IYoTY,18592
+yuho/transpile/graphql_transpiler.py,sha256=i2k9jx9l2wkgJd2AtPpaJUwpIe3TXwGXQS45DeysvcM,14556
+yuho/transpile/json_transpiler.py,sha256=iZpDymf0gtLwFxyMlI00vaXhNpeyJZlzGlMiwu_-E4Y,10222
+yuho/transpile/jsonld_transpiler.py,sha256=TzilaeHLwe8uTe00oT3rxHD-u-u-t-rZ9Z6sBHRtMIA,9312
+yuho/transpile/latex_preamble.py,sha256=k6bfrajJKY33WTiZakXm3RcoUZlbKuSAojDGX9wGCEk,4311
+yuho/transpile/latex_transpiler.py,sha256=kOhkwMcqKctZf4PbJivO518kSpXU_eppWw6Snem_EdY,14256
+yuho/transpile/latex_utils.py,sha256=2cHNYl1Fze18Tb5kvPetGbM3rmnk26VuECvW2yh--d4,6816
+yuho/transpile/mermaid_transpiler.py,sha256=Z1TELNg9GBaxBchcOA6NNOfBUMahyKMs9LX-7LZlf-Y,14454
+yuho/transpile/registry.py,sha256=TXyU1bYv0uMhAtyWrMlffBShTELnQR_4HNM3drFSx2Y,9016
+yuho/verify/__init__.py,sha256=xBsE45jN1pAf2tEr3vybXFwq-teAO8KyOHMXutlrqnU,1039
+yuho/verify/alloy.py,sha256=xTQ04L5unpHaUv3Q-4xu4We-3s-o12F5lGuGjQ1DZPM,11827
+yuho/verify/combined.py,sha256=-w52Bohm4vGA2c2pc6M4wdOPrOK5QO-XhT4H5gcvwog,6996
+yuho/verify/z3_solver.py,sha256=5ZQnFWAU0VykYtWkUwSFQeiT1pp7YQLXuvS30I7QRrU,40207
+yuho-5.0.0.dist-info/METADATA,sha256=WF5JKfo0bGSQYPMABs3ChWXESYXFYC6q9f4g_LYvb2E,12078
+yuho-5.0.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
+yuho-5.0.0.dist-info/entry_points.txt,sha256=S3LQ7oCM0Drs-zbqI3aCP4SusjBYRRCPqqwyyrqnEws,38
+yuho-5.0.0.dist-info/RECORD,,

yuho-5.0.0.dist-info/WHEEL

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

yuho-5.0.0.dist-info/entry_points.txt

@@ -0,0 +1,2 @@
+[console_scripts]
+yuho = yuho.cli:cli