Supported languages
| Language | Versions |
|---|---|
| Java | 17, 18, 19, 20, 21, 22, 23, 24, 25 |
| Kotlin | 1.9, 2.0, 2.1, 2.2, 2.3, 2.4 |
The engine (CBMC 6.9.0 / JBMC) ships bundled per platform: windows-x64, linux-x64 and arm64 (glibc), linux-x64 (musl/Alpine), and macos-x64 and arm64. Windows-arm64 is not supported.