ipasir 0.3.1

Bindings for the IPASIR API to communicate with incremental SAT solvers.
Documentation
1
2
3
4
5
6
//! IPASIR FFI solver and C bindings.

pub mod sys;
mod solver;

pub use self::solver::Solver;