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/sat/cnf | |
| 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/sat/cnf')
0 files changed, 0 insertions, 0 deletions