minisat 0.4.4

MiniSat Rust interface. Solves a boolean satisfiability problem given in conjunctive normal form.
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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68

extern crate cc;
extern crate bindgen;

use std::env;
use std::path::PathBuf;


#[cfg(not(feature = "glucose"))]
pub fn main() {
    cc::Build::new()
        .cpp(true)
        .include("lib/minisat")
        .include("lib")
        .file("lib/minisat/minisat/core/Solver.cc")
        .file("lib/minisat/minisat/simp/SimpSolver.cc")
        .file("lib/minisat/minisat/utils/System.cc")
        //.file("lib/minisat/minisat/utils/Options.cc")
        .file("lib/minisat-c-bindings/minisat.cc")
        .define("__STDC_LIMIT_MACROS", None)
        .define("__STDC_FORMAT_MACROS", None)
        .include("/usr/include")
        .compile("minisat");

    let bindings = bindgen::Builder::default()
        .clang_arg("-Ilib/minisat-c-bindings")
        .header("wrapper.h")
        .generate()
        .expect("Could not create bindings to library");

    let out_path = PathBuf::from(env::var("OUT_DIR").unwrap());
        bindings
        .write_to_file(out_path.join("bindings.rs"))
        .expect("Couldn't write bindings!");

}

#[cfg(feature = "glucose")]
pub fn main() {
    cc::Build::new()
        .cpp(true)
        //.include("lib/minisat")
        .include("lib/glucose-syrup-4.1")
        .include("lib")
        .file("lib/glucose-syrup-4.1/core/Solver.cc")
        .file("lib/glucose-syrup-4.1/simp/SimpSolver.cc")
        .file("lib/glucose-syrup-4.1/utils/System.cc")
        //.file("lib/minisat/minisat/utils/Options.cc")
        .file("lib/minisat-c-bindings/minisat.cc")
        .flag("-std=c++11")
        .define("__STDC_LIMIT_MACROS", None)
        .define("__STDC_FORMAT_MACROS", None)
        .define("USE_GLUCOSE", None)
        .include("/usr/include")
        .compile("minisat");

    let bindings = bindgen::Builder::default()
        .clang_arg("-Ilib/minisat-c-bindings")
        .header("wrapper.h")
        .generate()
        .expect("Could not create bindings to library");

    let out_path = PathBuf::from(env::var("OUT_DIR").unwrap());
        bindings
        .write_to_file(out_path.join("bindings.rs"))
        .expect("Couldn't write bindings!");

}