summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saigCone.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-07-07 13:13:32 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2012-07-07 13:13:32 -0700
commit5fb7c676c27c689a4a10773c6e4b28af32db3e8b (patch)
treedeb96623350fe39043dda75d9c2b3b1e29fa5a3b /src/aig/saig/saigCone.c
parentbea33c0584cbabbd2577042b479a6488849e2357 (diff)
downloadabc-5fb7c676c27c689a4a10773c6e4b28af32db3e8b.tar.gz
abc-5fb7c676c27c689a4a10773c6e4b28af32db3e8b.tar.bz2
abc-5fb7c676c27c689a4a10773c6e4b28af32db3e8b.zip
Procedure to compute truth tables for POs of GIA.
Diffstat (limited to 'src/aig/saig/saigCone.c')
0 files changed, 0 insertions, 0 deletions