kind2-java-api 0.3.6

• Fix name of setCheckReach method

kind2-java-api 0.3.5

• Add checkReach and checkNonvacuity options
• Add SMTInterpol as backend SMT solver
• Add option to set SMT QE Solver
• Add new IC3IA engine module
• Add option to set SMT ITP Solver
• Add IC3IA Max option
• Remove old IC3Abstr option

kind2-java-api 0.3.4

Add NonVacuityCheck to PropertyType enum

kind2-java-api 0.3.3

• Add fakeFilepath option (for LSP server)
• Add missing SMT solver option: MathSAT
• Update processing of Kind 2's json output for reachability queries

kind2-java-api 0.3.2

• Replace Boolector with Bitwuzla
• Update Kind 2 result parsing to handle reachability queries

kind2-java-api 0.3.1

• Replace CVC4 SMT solver back-end with cvc5.

kind2-java-api 0.3.0

• Add support for more Kind 2 options.
• Add support for LSP features that can be used by language servers to provide rich editing experience for Lustre files.
• Add basic support for and Kind 2 simulations.

kind2-java-api 0.2.2

Changes:

• Add support for abstract types.

kind2-java-api 0.2.1

Changes:

• Introduce TypeUtil.named method.

kind2-java-api 0.2.0

Changes:

• Renamed the results classes.
• Updated instructions for installing the artifact for the kind2-java-api.