rustsat_tools/
lib.rs

1//! # rustsat-tools - Tools for and with the RustSAT Library
2//!
3//! This crate contains tools for and built on the RustSAT library.
4
5mod parsing;
6pub mod utils;
7
8pub mod encodings {
9    //! # Encodings for Encoding Generators
10
11    pub mod assignment;
12    pub mod facilitylocation;
13    pub mod knapsack;
14
15    pub mod cnf {
16        //! # CNF Encodings
17
18        pub mod clustering;
19        pub mod knapsack;
20    }
21
22    pub mod pb {
23        //! PB Encodings
24
25        pub mod assignment;
26        pub mod facilitylocation;
27        pub mod knapsack;
28    }
29}
30
31#[cfg(feature = "cadical")]
32pub type Solver = rustsat_cadical::CaDiCaL<'static, 'static>;
33#[cfg(all(not(feature = "cadical"), feature = "minisat"))]
34pub type Solver = rustsat_minisat::core::Minisat;