From 94260e01b8ac4aa1d0fb530bb2a472a51c762613 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 25 Feb 2017 23:50:33 +0100 Subject: [PATCH] Add aigbmc support --- sbysrc/sby_core.py | 1 + sbysrc/sby_engine_aiger.py | 3 +++ 2 files changed, 4 insertions(+) diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py index 228597e..c32bf73 100644 --- a/sbysrc/sby_core.py +++ b/sbysrc/sby_core.py @@ -141,6 +141,7 @@ class SbyJob: "abc": "yosys-abc", "smtbmc": "yosys-smtbmc", "suprove": "super_prove", + "aigbmc": "aigbmc", "avy": "avy", } diff --git a/sbysrc/sby_engine_aiger.py b/sbysrc/sby_engine_aiger.py index 8161be9..545f727 100644 --- a/sbysrc/sby_engine_aiger.py +++ b/sbysrc/sby_engine_aiger.py @@ -32,6 +32,9 @@ def run(mode, job, engine_idx, engine): elif solver_args[0] == "avy": solver_cmd = " ".join([job.exe_paths["avy"], "--cex", "-"] + solver_args[1:]) + elif solver_args[0] == "aigbmc": + solver_cmd = " ".join([job.exe_paths["aigbmc"]] + solver_args[1:]) + else: assert False -- 2.30.2