15 个版本
0.7.2 | 2023 年 10 月 2 日 |
---|---|
0.7.1 | 2021 年 8 月 27 日 |
0.6.0 | 2020 年 6 月 5 日 |
0.5.1 | 2019 年 11 月 7 日 |
0.2.0 | 2017 年 5 月 4 日 |
#1806 在 算法
44 每月下载量
用于 4 个包(通过 clingo)
11MB
219K SLoC
包含 (晦涩的 autoconf 代码,7KB) configure.ac,(晦涩的 autoconf 代码,1KB) configure.ac,(晦涩的 autoconf 代码,3KB) configure.ac
clingo-sys
Rust 原生 FFI 绑定到 clingo 库。Clingo 版本 5.6.2。
要求库
默认情况下,包通过动态链接使用 clingo 库。假定系统上已安装 clingo 动态库。您必须设置环境变量 CLINGO_LIBRARY_PATH
。例如
export CLINGO_LIBRARY_PATH=/scratch/miniconda3/envs/test/lib
使用 static-linking
包定义了一个 Cargo 功能,允许通过静态链接使用 clingo 库。
使用可选的静态链接支持的建议方法如下。
[dependencies]
clingo-sys = { version = "0.7.2", features = ["static-linking"] }
要为静态链接构建 clingo,您需要安装以下工具