search

UnitTestBot / ksmt

Kotlin/Java API for various SMT solvers
https://ksmt.io/
Apache License 2.0
30 stars 14 forks source link

Manylinux compatibility #147

Closed Saloed closed 1 year ago

Saloed commented 1 year ago
SMT solver Rebuild Test
Bitwuzla :heavy_check_mark: :heavy_check_mark:
Yices2 :heavy_check_mark: :heavy_check_mark:
cvc5 :heavy_check_mark: :heavy_check_mark:

Test run: https://github.com/UnitTestBot/ksmt/actions/runs/7053409804