1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35
//! Rust native FFI for the IPASIR interface for incremental SAT solvers. //! //! Visit the IPASIR manual [here][manual]. //! //! [manual]: http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index-seo.php/IPASIR____IPASIR #[cfg(feature = "ffi")] pub mod ffi; mod types; mod interface; #[cfg(test)] mod tests; pub use self::{ types::{ Sign, Var, Lit, InvalidLitVal, Clause, LitIter, }, interface::{ SolverErrorKind, SolverError, SolveResponse, Result, ResponseError, LitValue, IpasirSolver, SolveControl, }, };