From ad2d11c0b1b27ebaab45911bfed746a738e66af2 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 24 Sep 2015 20:53:19 +0200
Subject: [PATCH] add metis prover

---
 common.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/common.nix b/common.nix
index f451129..d8bc5da 100644
--- a/common.nix
+++ b/common.nix
@@ -89,6 +89,7 @@
     minisat
     prover9
     eprover
+    metis-prover
     z3
     why3
     graphviz