From ea201a776d09b889c76b3822b3d08a944e8ea8d4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 11 Jun 2016 10:39:27 -0700
Subject: [PATCH] enable qsat-opt
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/opt/opt_context.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/opt/opt_context.cpp b/src/opt/opt_context.cpp
index 0b71fff1c..5082fde37 100644
--- a/src/opt/opt_context.cpp
+++ b/src/opt/opt_context.cpp
@@ -225,7 +225,7 @@ namespace opt {
normalize();
internalize();
update_solver();
-#if 0
+#if 1
if (is_qsat_opt()) {
return run_qsat_opt();
}