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 /doc/options.3cvc_template.in | |
| 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 'doc/options.3cvc_template.in')
0 files changed, 0 insertions, 0 deletions