We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
3d49475
Fix missing Eclipse dependencies.
This version of JKind works with Z3 4.7.1 - 4.8.10, 4.8.13, and 4.8.14
