diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-11 21:06:17 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-11 21:06:17 -0500 |
| commit | 1c06ccdb1228fc7ef14440e1f29cf016cf5756c9 (patch) | |
| tree | d716c76392dbf6603c8dc1b3b107aece77404d20 /src/theory/sets/cardinality_extension.h | |
| parent | 0cccfea1233b918c18ec2e1268fd786983074261 (diff) | |
(proof-new) Extensions to proof checker interface (#4857)
This includes support for pedantic levels, as well as a utility for wrapping Kind in a Node (for the updated CONG rule, to be updated in a later PR).
Diffstat (limited to 'src/theory/sets/cardinality_extension.h')
0 files changed, 0 insertions, 0 deletions