Merge pull request #173 from jix/test-cvc
authorJannis Harder <me@jix.one>
Fri, 10 Jun 2022 13:24:49 +0000 (15:24 +0200)
committerGitHub <noreply@github.com>
Fri, 10 Jun 2022 13:24:49 +0000 (15:24 +0200)
commit1d21513a47b18b79f70aa1a4377bccb60ed48b10
tree83935476e3838a96a7c6c5570c7843fea2859ca9
parentd7686ca698c1e109b9deabc60079bb430847e3b3
parentd0da57f54f5d3395b341756ec866a39629abaefb
Merge pull request #173 from jix/test-cvc

Test that cvc4 and cvc5 can be used