1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//! # rustsat-tools - Tools for and with the RustSAT Library
//!
//! This crate contains tools for and built on the RustSAT library.

pub mod utils;

pub mod encodings {
    //! # Encodings for Encoding Generators

    pub mod clustering;
    pub mod knapsack;
}

#[cfg(feature = "cadical")]
pub type Solver = rustsat_cadical::CaDiCaL<'static, 'static>;
#[cfg(all(not(feature = "cadical"), feature = "minisat"))]
pub type Solver = rustsat_minisat::core::Minisat;