Metadata-Version: 2.4
Name: keelrun-core
Version: 0.1.1
Classifier: Programming Language :: Rust
Classifier: Programming Language :: Python :: 3
Summary: Keel native core (keel_core): PyO3 binding over keelrun_core::Engine.
License-Expression: Apache-2.0
Requires-Python: >=3.11
