Constant boolector_sys::BTOR_OPT_AIGPROP_USE_BANDIT

source · 
pub const BTOR_OPT_AIGPROP_USE_BANDIT: BtorOption = 68;