diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-07-22 00:50:02 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-22 07:50:02 +0000 |
commit | d3af203110d575a89a119c4f2c3956a4f6ce69f5 (patch) | |
tree | 865ff8ba65e9ea03008680a493091d0ba4a441b6 /NEWS | |
parent | b839049634d97025ac57ba9a342fd8ab70737a33 (diff) |
Add support for minimal unsat cores (#4605)
This commit adds support for computing minimal unsat cores. The
algorithm implemented in this commit is just a trivial deletion-based
algorithm that tries to remove each assertion in the unsat core
individually.
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -23,6 +23,7 @@ New Features: * Support for `str.indexof_re(s, r, n)`, which returns the index of the first occurrence of a regular expression `r` in a string `s` after index `n` or -1 if `r` does not match a substring after `n`. +* A new option to compute minimal unsat cores (`--minimal-unsat-cores`). Improvements: * New API: Added functions to retrieve the heap/nil term when using separation |