Crustabri_ipafair

Crustabri_ipafair提供了一个基于Crustabri求解器的IPAFAIR兼容库。

编译项目会在target/release目录下生成库libcrustabri_ipafair.so。在python/crustabri.py目录中包含了一个使用此库提供IPAFAIR兼容动态AF求解器的Python类示例。

许可证

Crustabri是在CRIL（Artois大学和CNRS）开发的。它根据GNU GPLv3许可证条款提供。