From 1114ce9210dfb9a0db981029377dc859abc3aa34 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 3 Oct 2016 20:43:38 +0200
Subject: [PATCH] yosys-smtbmc: ABC is a QF_BV solver

---
 backends/smt2/smtio.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 41de08af4..eccb65014 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -98,6 +98,7 @@ class SmtIo:
 
         if self.solver == "abc":
             self.popen_vargs = ['yosys-abc', '-S', '%blast; &sweep -C 5000; &syn4; &cec -s -m -C 2000']
+            self.logic_ax = False
             self.unroll = True
             self.noincr = True