Ipafair-sys

IPAFAIR 是一个用于辩论框架 (AF) 求解器的增量 API。它模仿了 SAT 增量求解器的 IPASIR 接口，但专注于辩论框架中的动态性。IPASIR 项目可以在 Bitbucket 上找到。

本项目为 IPAFAIR API 提供了 Rust 绑定。

许可证

本项目包含一些来自 IPAFAIR 项目的文件，这些文件根据 MIT 许可证授权。此许可证包含在名为 LICENSE_IPAFAIR.md 的仓库中。

ipafair-sys 项目本身在 CRIL (Lens 计算机研究中心) 开发。它根据 GNU LGPLv3 许可证条款提供。