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,
    },
};