- m -

• max_conflict_clause_length : CSolverParameters
• max_dlevel : CSolverStats
• max_level : MiniSat::SolverStats
• max_literals : MiniSat::SolverStats
• MAX_TRIG_BVS : CVC3::TheoryQuant
• max_unrelevance : CSolverParameters
• mem_used_up : CDatabaseStats
• mem_used_up_counts : CDatabaseStats
• min_num_clause_lits_for_delete : CSolverParameters
• MinusInfinity : CVC3::TheoryArithNew::EpsRational
• multiId : CVC3::Trigger
• multiIndex : CVC3::Trigger

---