yosys-smtbmc: ABC is a QF_BV solver

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 41de08af432f3d434801373c0e542810ba370b24..eccb6501429b1e40838c9716340eb0576aba643a 100644 (file)
--- 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