Constant boolector_sys::BTOR_OPT_SLS_NFLIPS

source · 
pub const BTOR_OPT_SLS_NFLIPS: BtorOption = 35;