diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-10-21 16:00:16 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-10-21 16:00:16 +0200 |
commit | daee180471fd88421291b1617148de0a6235360d (patch) | |
tree | 2bfd6f5e72c098b4daf1c7a066a8e1f68a068670 /unit-tests/lia2.smt2 | |
parent | 5d38159d419e1c690e455277bf913dd77cb675df (diff) | |
parent | 662bba2a3df268affd2f5821e035387d6e208dc4 (diff) | |
download | smtcoq-daee180471fd88421291b1617148de0a6235360d.tar.gz smtcoq-daee180471fd88421291b1617148de0a6235360d.zip |
Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13
Diffstat (limited to 'unit-tests/lia2.smt2')
0 files changed, 0 insertions, 0 deletions