Skip to content

JKind v4.0.1

Compare
Choose a tag to compare
@agacek agacek released this 30 Apr 20:59
· 102 commits to master since this release

Fixed a bug in IVC generation (issue #44)