diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-27 13:34:22 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-27 13:34:22 -0700 |
| commit | 755935a6df4c84377aff1c67a5d802062cf925e6 (patch) | |
| tree | 561019b9cd54bac08d2f53aead7bd1d4caba20d1 /src/proof/live/disjunctiveMonotone.c | |
| parent | 446cfcf8a6f4f15df46a973737a5280dea43cb14 (diff) | |
| download | abc-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/proof/live/disjunctiveMonotone.c')
0 files changed, 0 insertions, 0 deletions