diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-12-23 16:17:48 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-23 16:17:48 -0600 |
commit | a04226ef3519c4fdce7bd6c3ff92f18bf6bee83c (patch) | |
tree | 40ba3c986de4107e322adb19a5e3a247dcec0972 /src/options | |
parent | 42f51547174e2644a244464c170115ff3b2bc22f (diff) |
Add option to track and notify from CNF stream (#5708)
This adds functionality to CNF stream to allow e.g. TheoryProxy to be notified when a formula is asserted (not just literals).
This will be required for SAT relevancy.
No behavior changes in this PR.
Diffstat (limited to 'src/options')
0 files changed, 0 insertions, 0 deletions