diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-23 15:34:49 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-23 15:34:49 -0700 |
| commit | 637da8baeaabf6f12aa8d9ec287aa675d9ea5fab (patch) | |
| tree | 628e631e30dff964ead2df3ceb74000a2b7f9b3f /src/base/abci/abcSat.c | |
| parent | 3712dd30d0e6152e627b487f7f4f5e4e6f6c5afd (diff) | |
| download | abc-637da8baeaabf6f12aa8d9ec287aa675d9ea5fab.tar.gz abc-637da8baeaabf6f12aa8d9ec287aa675d9ea5fab.tar.bz2 abc-637da8baeaabf6f12aa8d9ec287aa675d9ea5fab.zip | |
Added switch 'satclp -Z' to control the max size of the cone to work with.
Diffstat (limited to 'src/base/abci/abcSat.c')
0 files changed, 0 insertions, 0 deletions