Generate AIGERs with -I -B
authorClifford Wolf <clifford@clifford.at>
Mon, 12 Nov 2018 08:36:12 +0000 (09:36 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 12 Nov 2018 08:36:12 +0000 (09:36 +0100)
commitb50f4f3d10d95ab065685a7b86c5cd8763b3dd8e
treec4cc59bea7207310bdd8f0de556ed185f79b1797
parente90bcb588e97118af0cdba23fae562fb0efbf294
Generate AIGERs with -I -B

Signed-off-by: Clifford Wolf <clifford@clifford.at>
sbysrc/sby_core.py