diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-05 19:19:13 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-05 19:19:13 +0700 |
commit | 5a45a75dca8903301178f3d2b530e88364a3d7e2 (patch) | |
tree | 7b8df49defcb880685543e9d97baae86320e82a5 /src/base/io/ioWriteBlifMv.c | |
parent | fd62957d39c18bd755e7fa46cf7dc7e278c6778c (diff) | |
download | abc-5a45a75dca8903301178f3d2b530e88364a3d7e2.tar.gz abc-5a45a75dca8903301178f3d2b530e88364a3d7e2.tar.bz2 abc-5a45a75dca8903301178f3d2b530e88364a3d7e2.zip |
APIs to represent simple gates in CNF.
Diffstat (limited to 'src/base/io/ioWriteBlifMv.c')
0 files changed, 0 insertions, 0 deletions