create only a single bad when using pono solver; workaround for #137
authorN. Engelhardt <nak@symbioticeda.com>
Wed, 12 Jan 2022 12:18:54 +0000 (13:18 +0100)
committerN. Engelhardt <nak@symbioticeda.com>
Wed, 12 Jan 2022 12:18:54 +0000 (13:18 +0100)
commit257a57d8ed173538ea75e417b4474f69e93c3454
tree7339abd6d8d9ed30e166d48d5eb216f5554b8e7b
parentad07ea0e8590fb8fba523701c9e72b521fe0cf0c
create only a single bad when using pono solver; workaround for #137
sbysrc/sby_core.py
sbysrc/sby_engine_btor.py