vara-project-patches This is a repository containing patch files for projects that are supported by the VaRA-Tool-Suite. Using patches one can quickly add changes to an existing project to test their impact on the specified experiments.