2P-Kt on Java example How to reproduce On Windows: .\gradlew run # optionally: -Pfile=/path/to/theory/file On Linux or MacOS: ./gradlew run # optionally: -Pfile=/path/to/theory/file