2 个版本

0.1.1 2024年6月7日
0.1.0 2024年5月25日

#8 in #reasoning

Download history • Rust 包仓库 189/week @ 2024-05-24 • Rust 包仓库 15/week @ 2024-05-31 • Rust 包仓库 188/week @ 2024-06-07 • Rust 包仓库 6/week @ 2024-06-14 • Rust 包仓库

89 每月下载量

MIT 许可证

75KB
2K SLoC

Rust 中的 ASPIC+ 实现

依赖关系

~4–6.5MB
~115K SLoC