Merge pull request #170 from programmerjake/add-simcheck-option
authorJannis Harder <me@jix.one>
Sun, 3 Jul 2022 09:47:22 +0000 (11:47 +0200)
committerGitHub <noreply@github.com>
Sun, 3 Jul 2022 09:47:22 +0000 (11:47 +0200)
commite3123283eaf129d19519bf72cd48e19b097552e6
tree7b1b9a4a2af4ffaaeed93c069b1268203b0fee69
parent4d858a1b9c496c10e4836850623b12b724334eb0
parentdb740839b737ee55b8b39f1b29780872d32d248a
Merge pull request #170 from programmerjake/add-simcheck-option

switch to using hierarchy -smtcheck for smtlib2 solvers, allowing smtlib2_module modules
sbysrc/sby_core.py