summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcReach.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-05-27 13:34:22 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-05-27 13:34:22 -0700
commit755935a6df4c84377aff1c67a5d802062cf925e6 (patch)
tree561019b9cd54bac08d2f53aead7bd1d4caba20d1 /src/base/abci/abcReach.c
parent446cfcf8a6f4f15df46a973737a5280dea43cb14 (diff)
downloadabc-755935a6df4c84377aff1c67a5d802062cf925e6.tar.gz
abc-755935a6df4c84377aff1c67a5d802062cf925e6.tar.bz2
abc-755935a6df4c84377aff1c67a5d802062cf925e6.zip
Added switch -M to set max size of two-cube divisors to extract (often helps both runtime and quality).
Diffstat (limited to 'src/base/abci/abcReach.c')
0 files changed, 0 insertions, 0 deletions