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;