diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-28 10:42:31 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-28 10:42:31 -0700 |
| commit | 184c5d4ea467731005c92bc159c68d57c83c6c6a (patch) | |
| tree | ec585fa6f993ed00851000069887812a4734d678 /src/aig/ivy/ivyCanon.c | |
| parent | e93cfb18ee42e75e6d55c4fd02e5455c4ec16cc8 (diff) | |
| download | abc-184c5d4ea467731005c92bc159c68d57c83c6c6a.tar.gz abc-184c5d4ea467731005c92bc159c68d57c83c6c6a.tar.bz2 abc-184c5d4ea467731005c92bc159c68d57c83c6c6a.zip | |
Adding timeout to the interpolant computation procedure.
Diffstat (limited to 'src/aig/ivy/ivyCanon.c')
0 files changed, 0 insertions, 0 deletions