Constant boolector_sys::BTOR_OPT_SLS_STRATEGY

source · 
pub const BTOR_OPT_SLS_STRATEGY: BtorOption = 36;