rssat 0.1.6

DEPRECATED: rssat is a Rust library that provides Rust bindings for multiple popular SAT solvers
Documentation 
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49

#![deprecated(since = "0.1.6", note = "rssat is deprecated. Please use the `satgalaxy` crate instead: https://crates.io/crates/satgalaxy")]

#[cfg(feature = "cadical")]
pub mod cadical;
#[cfg(feature = "cadical")]
pub use cadical::CaDiCaLSolver;
#[cfg(feature = "glucose")]
pub mod glucose;
#[cfg(feature = "glucose")]
pub use glucose::GlucoseSolver;
#[cfg(feature = "minisat")]
pub mod minisat;
#[cfg(feature = "minisat")]
pub  use  minisat::MinisatSolver;

#[macro_export]
macro_rules! create_solver {
    (cadical) => {
        $crate::cadical::CaDiCaLSolver::new()
    };
    (minisat) => {
        $crate::minisat::MiniSatSolver::new()
    };
}

pub enum   RawStatus {
    Satisfiable,Unsatisfiable,Unknown
}

impl Default for RawStatus {
    fn default() -> Self {
        Self::Unknown
    }
}
pub enum Status {
    Satisfiable(Vec<i32>),Unsatisfiable, Unknown
}

impl Default for Status {
    fn default() -> Self {
        Self::Unknown
    }
}

pub trait SatSolver {

    fn add_clause(& mut self, clause:&Vec<i32>);
    fn solve_model(& mut self)->Status;
}