Merge pull request #178 from jix/aiger-aigbmc-fixes
authorJannis Harder <me@jix.one>
Tue, 14 Jun 2022 15:52:33 +0000 (17:52 +0200)
committerGitHub <noreply@github.com>
Tue, 14 Jun 2022 15:52:33 +0000 (17:52 +0200)
commit98b0713597cb1c48dee99f7017d34c28c45114b6
tree17a29ffe00b210d07ac08a697ae5cd82fbf83861
parent1e1402474adcb84ede0378691bdf8e53880dd816
parent05d963b0df224767c8fc0e09e9d93821218e1cfa
Merge pull request #178 from jix/aiger-aigbmc-fixes

aiger: check supported modes and aigbmc fixes