search

UnitTestBot / ksmt

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

Various fixes #162

Closed Saloed closed 3 months ago

Saloed commented 3 months ago