search

YosysHQ / oss-cad-suite-build

Multi-platform nightly builds of open source digital design and verification tools
ISC License
783 stars 71 forks source link

btorsim is missing #3

Closed clairexen closed 3 years ago

clairexen commented 3 years ago

It seems like we are not shipping btorsim from btor2tools. It is needed for generating traces from the output of BTOR model checkers.