From 36f571c0d17d853146a369cbaca9087ef704f7a2 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur@Arturs-MacBook-Pro.local>
Date: Mon, 13 Mar 2017 22:06:33 +0100
Subject: [PATCH] Switched to QF_FD (smt checker for rsc)

---
 smt/smt_checker_rsc.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/smt/smt_checker_rsc.py b/smt/smt_checker_rsc.py
index c1eafb6..727f0f3 100644
--- a/smt/smt_checker_rsc.py
+++ b/smt/smt_checker_rsc.py
@@ -38,7 +38,7 @@ class SmtCheckerRSC(object):
         
         self.loop_position = Int("loop_position")
         
-        self.solver = Solver()
+        self.solver = SolverFor("QF_FD")
         
         self.verification_time = None