Skip to content

JKind 4.4.4
Compare
Choose a tag to compare
@kfhoech kfhoech released this 12 Oct 16:26
· 41 commits to master since this release
v4.4.4
692101b

Add transitional API for calling JKind as a process.

This version of JKind works with Z3 4.7.1 - 4.8.10, 4.8.13, and 4.8.14

Assets 3
Loading