Constant boolector_sys::BTOR_OPT_SAT_ENGINE

source · 
pub const BTOR_OPT_SAT_ENGINE: BtorOption = 7;