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/opt | |
| 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/opt')
0 files changed, 0 insertions, 0 deletions