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