diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-27 12:51:57 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-27 12:51:57 -0700 |
commit | 272089221a530f61bceee07378cb747c88471b70 (patch) | |
tree | 163bdb928740d3999775c04d9d0aadd348b2be82 /src/base/io/ioReadBench.c | |
parent | e64cad10e2f9417247cb7f212d9bc434902bd154 (diff) | |
download | abc-272089221a530f61bceee07378cb747c88471b70.tar.gz abc-272089221a530f61bceee07378cb747c88471b70.tar.bz2 abc-272089221a530f61bceee07378cb747c88471b70.zip |
Removing hard-coded limit on the number of solving iterations in command 'qbf'.
Diffstat (limited to 'src/base/io/ioReadBench.c')
0 files changed, 0 insertions, 0 deletions