elina-rs

此库为 ELINA C 库提供了安全的 Rust 抽象。要了解更多关于 ELINA 的信息，请参阅他们的 GitHub 和 网站。

安装

您需要安装 ELINA 以链接此包。目前，您还需要安装 ELINA 的头文件来构建此包，但这可能在将来改变。
有关安装 ELINA 的说明，请参阅 ELINA 的网站。

在安装 ELINA 后，您可以将此包作为依赖项添加到您的 Cargo.toml

[dependencies]
elina = "0.3.1"

用法

请阅读 API 文档。

有关示例，请参阅 examples/showcase.rs。
您可以使用以下命令运行示例： cargo run --example showcase

项目

以下项目使用 elina-rs（欢迎您提出自己的 PR！）

• skius/progge.rs - 简单命令式语言的程序分析游乐场

许可

许可证为以下之一

• Apache 许可证 2.0（《LICENSE-APACHE》或 https://apache.ac.cn/licenses/LICENSE-2.0》）
• MIT 许可证（《LICENSE-MIT》或 http://opensource.org/licenses/MIT”）

任选其一。

贡献

除非您明确表示，否则根据 Apache-2.0 许可证定义的，您有意提交以包含在作品中的任何贡献，都将按上述方式双重许可，而不附加任何其他条款或条件。