Constant boolector_sys::BTOR_SLS_STRAT_ALWAYS_PROP

source · 
pub const BTOR_SLS_STRAT_ALWAYS_PROP: BtorOptSLSStrat = 5;