search

UnitTestBot / ksmt

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

Rework model detach #151

Closed Saloed closed 10 months ago

Saloed commented 10 months ago

Release native model on KModel.detach

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