Ipafair-sys

IPAFAIR is an incremental API for argumentation framework (AF) solvers. It mimics the IPASIR interface for SAT incremental solvers, but is dedicated to dynamics in argumentation frameworks. The IPASIR project can be found on Bitbucket.

This project provides Rust bindings for the IPAFAIR API.

Licenses

This project includes some files from the IPAFAIR project, which are licensed under the MIT license. This license is included in the repository under the name LICENSE_IPAFAIR.md.

The ipafair-sys project itself is developed at at CRIL (Centre de Recherche en Informatique de Lens). It is made available under the terms of the GNU LGPLv3 license.