diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2021-05-24 09:42:41 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2021-05-24 09:42:41 -0500 |
commit | 946d05d3e369e5fb2cba95887c09ccc02a3a3bcf (patch) | |
tree | ad0dcfe4d6a77cf1e2033caa6769eb53b14976bb /contrib | |
parent | 04d36f9706fd7ac550ba585e200e69cb6d9ff99d (diff) | |
parent | 3e5711f1756338fed833ea43f051a0ff09211cc5 (diff) |
Merge branch 'proof-new' of https://github.com/CVC4/CVC4 into proof-new
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions