diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-27 12:07:26 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-27 12:07:26 -0700 |
commit | 446cfcf8a6f4f15df46a973737a5280dea43cb14 (patch) | |
tree | c0adbe9a38b27cafbbde041573081e8f1997dd48 /src/opt/cut/cutOracle.c | |
parent | c27556c5692f41d2ac4fb7c1705c574c0337b684 (diff) | |
download | abc-446cfcf8a6f4f15df46a973737a5280dea43cb14.tar.gz abc-446cfcf8a6f4f15df46a973737a5280dea43cb14.tar.bz2 abc-446cfcf8a6f4f15df46a973737a5280dea43cb14.zip |
Changing how often timeout is checked in the SAT solver and several application packages.
Diffstat (limited to 'src/opt/cut/cutOracle.c')
0 files changed, 0 insertions, 0 deletions