pub enum SatEngine {
CaDiCaL,
CMS,
Lingeling,
MiniSAT,
PicoSAT,
}
Variants
CaDiCaL
CaDiCaL
CMS
CryptoMiniSat
Lingeling
Lingeling
MiniSAT
MiniSAT
PicoSAT
PicoSAT
Auto Trait Implementations
impl RefUnwindSafe for SatEngine
impl Send for SatEngine
impl Sync for SatEngine
impl Unpin for SatEngine
impl UnwindSafe for SatEngine
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more