EQRIC, NoReal and Muffin