Module ffi
ipasir
IPASIR FFI solver and C bindings.
The external IPASIR C API.
The incremental solver implementing the IPASIR interface.