glift: Use `qbfsat -O2` instead of manually calling `abc`.
authorAlberto Gonzalez <boqwxp@airmail.cc>
Wed, 10 Jun 2020 05:00:09 +0000 (05:00 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Wed, 1 Jul 2020 19:51:47 +0000 (19:51 +0000)
commitc26a8d1ee051b1bb7925a58d713c452c376c1d25
treea0f5ab8cce3aa41983367786d3ccf0e69b5656da
parent26bd68625946aaac70cfe927755785b7f1a79efd
glift: Use `qbfsat -O2` instead of manually calling `abc`.
examples/smtbmc/glift/C7552.ys
examples/smtbmc/glift/C880.ys
examples/smtbmc/glift/alu2.ys
examples/smtbmc/glift/alu4.ys
examples/smtbmc/glift/t481.ys
examples/smtbmc/glift/too_large.ys
examples/smtbmc/glift/ttt2.ys
examples/smtbmc/glift/x1.ys