[][src]Module ipasir::ffi

IPASIR FFI solver and C bindings.

Modules

sys

The external IPASIR C API.

Structs

Solver

The incremental solver implementing the IPASIR interface.