diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-07-20 11:52:37 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-07-20 11:52:37 -0500 |
| commit | daf2eca9a4bb32680cbf35945bb09cfd13be76a7 (patch) | |
| tree | fd387c71b6d1bd03e79e4e3403041c12a906a98a /src/util/cardinality.i | |
| parent | ae7434f94a1bc66ee12474414985249a71881b6c (diff) | |
Print only instantiations that are in the unsat core when --proof is enabled. Add option to minimize sygus solutions based on unsat core (disabled by default).
Diffstat (limited to 'src/util/cardinality.i')
0 files changed, 0 insertions, 0 deletions