Version Polymorphic BatakJava

System requirements

• Gradle (8.10.1)
• Apache Maven (3.9.6)

• Java 8

• Z3 Solver version 4.8.10

Gradle installation

• MacOS

Install using brew:

brew install gradle

Z3 solver installation

1. Download the Z3 version 4.8.10 (link) for your OS.

2. Unpack the downloaded file

3. Install to local Maven repository:

Reference: https://stackoverflow.com/questions/60403775/how-to-setup-a-java-development-environment-for-z3

Running tests

1. Install poetry

poetry install

2. Run tests

poetry run python run_tests.py