search

UnitTestBot / ksmt

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

Bitwuzla update to 0.2.0-dev #135

Open dee-tree opened 1 year ago

dee-tree commented 1 year ago

Bitwuzla native libs and API updated to 0.2.0-dev @ main .

What's new:

  1. Native API changed.
  2. Now bitwuzla distinguishes BitVec 1 from bool.
  3. Native terms are globally managed (therefore, added memory cleanup in KBitwuzlaContext close).
  4. Changed representation of lambdas in model.

Build guide and script

Notes:

dee-tree commented 1 year ago

It's possible to delete the patch win_bv_gmp_long_patch.patch due to the bug fix in bitwuzla repository