We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
