- m -

• main() : main.cpp
• malloc_clause() : minisat_types.cpp
• max() : minisat_global.h
• min() : minisat_global.h
• miniSatToCVC() : minisat_solver.h
• minusExpr() : theory_arith.h
• multExpr() : theory_arith.h

---