Added "yosys-smtbmc -s abc"

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index e4eb10972ceabd9247c5bf8e9833edabfcf863e7..cf14333c4ba29d57c887c18cee609ae6dd9f5036 100644 (file)
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -92,6 +92,10 @@ class SmtIo:
             popen_vargs = ['boolector', '--smt2', '-i']
             self.unroll = True
 
+        if self.solver == "abc":
+            popen_vargs = ['yosys-abc', '-S', '%blast; &sweep -C 5000; &syn4; &cec -s -m -C 2000']
+            self.unroll = True
+
         if self.solver == "dummy":
             assert self.dummy_file is not None
             self.dummy_fd = open(self.dummy_file, "r")