8000 Release JKind 4.4.3 · loonwerks/jkind · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

JKind 4.4.3
58CA
Compare
Choose a tag to compare
@lgwagner lgwagner released this 08 Oct 04:57
· 64 commits to master since this release
v4.4.3
fe4c36c

This release addresses issues #60, #63, #64

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

Assets 3
Loading
0