Constant boolector_sys::BTOR_OPT_MODEL_GEN

source · 
pub const BTOR_OPT_MODEL_GEN: BtorOption = 0;