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