Rust製 法令・契約執行エンジン（Legalis-RS）のOSS提供について

[cool-japan]

チームみらいの躍進、拝見しました。 同大学出身（法学部卒）のRustエンジニアです。

御党が掲げる「テクノロジーによる行政改革」のバックエンドとして即戦力となる、日本法対応のSMTソルバーベースの執行エンジン（Legalis-RS）を開発済みです。 以下のリポジトリに、日本法の自動執行ロジックが実装されています。

https://github.com/cool-japan/legalis
https://github.com/cool-japan/legalis/blob/master/docs/PAPER-JA.md
https://github.com/cool-japan/legalis/tree/master/jurisdictions/jp

私は東南アジアに隠居中の身ですので、デモや説明は行いません。 コードを読んで、もし御党の政策実現（デジタル民主主義の実装）に使えるなら、フォークして自由に使ってください。 （IPはエストニア法人にありますが、御党にはライセンス供与します）