ipasir (cargo): Bindings for the IPASIR API to communicate with incremental SAT solvers.
Keywords: solver|sat|ffi|incremental