Skip to content

Gradle Integration

Kevin Lotz requested to merge gradle into main

Integrates Gradle into the project:

  • Sets up the Gradle build system (build.gradle)
  • Updates the project structure to follow the src/main/java and src/test/java conventions
  • Updates tests to use jUnit Jupiter (5.x)

The project can be executed by simply running gradle run (or ./gradlew run, resp., /gradlew.bat run on windows). The implementation is checked against JVM version 21.0.1. Minimal requirement should be version 16.

For the Z3 bindings z3-turnkey is used. This library avoids dependencies on local builds of z3.

Merge request reports