Upgrade cvc5 to 1.1.2 - Githubissues

UnitTestBot / ksmt

Kotlin/Java API for various SMT solvers

https://ksmt.io/

Apache License 2.0

30 stars 14 forks source link

Upgrade cvc5 to 1.1.2 #158

Closed Saloed closed 7 months ago

Saloed commented 8 months ago

[x] Test run: https://github.com/UnitTestBot/ksmt/actions/runs/8669274384
[x] Mac OS check