Skip to main content

conjure_cp_core/solver/adaptors/
mod.rs

1//! Solver adaptors.
2
3pub mod minion;
4pub mod rustsat;
5
6#[doc(inline)]
7pub use minion::Minion;
8
9#[doc(inline)]
10pub use rustsat::Sat;
11
12#[cfg(feature = "smt")]
13pub mod smt;
14
15#[cfg(feature = "smt")]
16#[doc(inline)]
17pub use smt::Smt;