MuJoCo uses a convex optimization framework based on the complementarity problem to solve contacts, which differs from traditional impulse-based or penalty-based contact solvers.