diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-09-25 12:24:06 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-25 12:24:06 -0300 |
commit | d05aee802bf93d23193739e8280d2ad5ce7e7469 (patch) | |
tree | 49156d00634f9e9db4279eb6bc2adcdee9ec1bfe /src/theory/quantifiers/sygus/synth_conjecture.h | |
parent | 96da64b450fc6dd6f5cf701587db38adbe8ba177 (diff) |
Cleaning and documenting cnf stream (#5134)
Moreover changes assertClause to return a bool, which is gonna be used by the proof cnf stream.
Diffstat (limited to 'src/theory/quantifiers/sygus/synth_conjecture.h')
0 files changed, 0 insertions, 0 deletions