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