Constant boolector_sys::BTOR_OPT_SLS_JUST

source · 
pub const BTOR_OPT_SLS_JUST: BtorOption = 37;