diff options
author | vblot <24938579+vblot@users.noreply.github.com> | 2021-09-08 13:27:56 +0200 |
---|---|---|
committer | vblot <24938579+vblot@users.noreply.github.com> | 2021-09-08 13:27:56 +0200 |
commit | b130e703876952257fe5affb65b4e221ca2b2333 (patch) | |
tree | 4bab2cdc44690b7d7ab9eb4847993f60948e3ad6 /unit-tests/sat4.smt2 | |
parent | 8f66837682683edb35131cd91dfa690e5c2dec49 (diff) | |
parent | df788b256509090150660bbceb0251dfa8c3b97c (diff) | |
download | smtcoq-b130e703876952257fe5affb65b4e221ca2b2333.tar.gz smtcoq-b130e703876952257fe5affb65b4e221ca2b2333.zip |
Merge remote-tracking branch 'coq-8.12' into coq-8.13
Diffstat (limited to 'unit-tests/sat4.smt2')
0 files changed, 0 insertions, 0 deletions