Home » de.hhu.stups » prob-java » 4.16.1 » Changes

ProB Java » 4.16.1

Core of the ProB Java API
Version4.16.1compared with

Version Details

4.16.0 4.16.1
Release dateAug 07, 2026Aug 28, 2026
LicensesEPL 1.0EPL 1.0
VulnerabilitiesNoneNone

Compile Changes (13)

4.16.0 4.16.1
ChangeGroup / ArtifactPreviousCurrent
~ Updated com.fasterxml.jackson.core » jackson-databind2.20.12.22.2
~ Updated com.fasterxml.jackson.datatype » jackson-datatype-jdk82.20.12.22.2
~ Updated com.fasterxml.jackson.datatype » jackson-datatype-jsr3102.20.12.22.2
~ Updated com.fasterxml.jackson.module » jackson-module-parameter-names2.20.12.22.2
~ Updated com.google.inject » guice6.0.07.0.0
~ Updated de.hhu.stups » answerparser2.16.02.16.1
~ Updated de.hhu.stups » bparser2.16.02.16.1
~ Updated de.hhu.stups » ltlparser2.16.02.16.1
~ Updated de.hhu.stups » parserbase2.16.02.16.1
~ Updated de.hhu.stups » prologlib2.16.02.16.1
~ Updated de.hhu.stups » theorymapping2.16.02.16.1
~ Updated de.hhu.stups » unicode2.16.02.16.1
~ Updated org.slf4j » slf4j-api2.0.172.0.18

Runtime Changes (2)

4.16.0 4.16.1
ChangeGroup / ArtifactPreviousCurrent
~ Updated com.google.guava » guava33.5.0-jre33.7.1-jre
~ Updated de.hhu.stups » alloy2b1.42.0.0