diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-15 09:29:13 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-15 09:29:13 -0700 |
commit | 813245b29af60137f5bb94dfa2831d2454c8a9b5 (patch) | |
tree | 4f833c5cc9e6dbe7d3080b90fa79a43e77ef7514 /src/aig/llb/llb4Nonlin.c | |
parent | 3dfdbe1402ffebf902e9700ac85ed5bffd16f7d2 (diff) | |
download | abc-813245b29af60137f5bb94dfa2831d2454c8a9b5.tar.gz abc-813245b29af60137f5bb94dfa2831d2454c8a9b5.tar.bz2 abc-813245b29af60137f5bb94dfa2831d2454c8a9b5.zip |
Improving timeout in the interpolation package.
Diffstat (limited to 'src/aig/llb/llb4Nonlin.c')
0 files changed, 0 insertions, 0 deletions