A image based on openjdk:8-jdk but with javafx installed
10K+
jml has z3_4_4 installed at /z3 and openJML installed at /openjml findbugs has findbugs installed at /findbugs
Content type
Image
Digest
Size
335.5 MB
Last updated
about 9 years ago
docker pull mgoo2/openjfx