Constant boolector_sys::BTOR_OPT_SLS_USE_RESTARTS

source · 
pub const BTOR_OPT_SLS_USE_RESTARTS: BtorOption = 50;