Skip to content

kind2-java-api 0.3.2

Pre-release
Pre-release
Compare
Choose a tag to compare
@daniel-larraz daniel-larraz released this 09 Mar 03:54
· 40 commits to main since this release
0.3.2
654cf0e
  • Replace Boolector with Bitwuzla
  • Update Kind 2 result parsing to handle reachability queries
Assets 3
Loading