From 4eb0d6fc0e0e6216fc5bd11fb978902efec6c38e Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 1 Oct 2016 13:54:21 +0200
Subject: [PATCH] Added "yosys-smtbmc -s abc"

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

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index e4eb10972..cf14333c4 100644
--- 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")