Add aiger and protobuf backends binary support
authorMiodrag Milanovic <mmicko@gmail.com>
Sat, 28 Sep 2019 07:50:29 +0000 (09:50 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Sat, 28 Sep 2019 07:51:48 +0000 (09:51 +0200)
commit0c380f085576c2cead5e3576825cb60046bfd76b
treee0bfd70ed33e26bb58227e3f9450774b89038885
parentd0493925ec739aa13cd72e5aa525e98ca49cc326
Add aiger and protobuf backends binary support
backends/aiger/aiger.cc
backends/protobuf/protobuf.cc