diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-14 18:53:28 +0900 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-14 18:53:28 +0900 |
| commit | 3de5d18c5f1f97e5d38c0b35daca5f83df56cc14 (patch) | |
| tree | 08a043dc0a43bc2ba506bcf6ade2ca11b301410f /src/sat/bmc/bmc.h | |
| parent | 96c622b3bc61584580e28b6b9ba5c8de2a9a1e2b (diff) | |
| download | abc-3de5d18c5f1f97e5d38c0b35daca5f83df56cc14.tar.gz abc-3de5d18c5f1f97e5d38c0b35daca5f83df56cc14.tar.bz2 abc-3de5d18c5f1f97e5d38c0b35daca5f83df56cc14.zip | |
Adding APIs to retrieve NOR/OR gates from the library.
Diffstat (limited to 'src/sat/bmc/bmc.h')
0 files changed, 0 insertions, 0 deletions