diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-08-12 21:01:40 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-12 21:01:40 -0300 |
| commit | 2fc0fea69f6350db55d217e710efcc08ac56b4db (patch) | |
| tree | 586f734eb2a0952a74ea18174d44f83879678766 /src/smt | |
| parent | 10b5153f63a2e9a575ffe5abfad69e53ed8e3d5b (diff) | |
[proof-new] Adding support for corner case of transitivity simulating MERGED_THROUGH_CONSTANTS (#4879)
Diffstat (limited to 'src/smt')
0 files changed, 0 insertions, 0 deletions