conjure_core/solver/adaptors/
mod.rs

1//! Solver adaptors.
2
3pub mod kissat;
4pub mod minion;
5pub mod sat_common;
6
7#[doc(inline)]
8pub use kissat::Kissat;
9
10#[doc(inline)]
11pub use minion::Minion;