Artifact Latest version Version Count Packaging Update time
de.hhu.stups:tla2bAST
1.3.0 10 jar May 02, 2024
de.hhu.stups:unicode
2.13.2 54 jar Apr 11, 2024
de.hhu.stups:theorymapping
2.13.2 54 jar Apr 11, 2024
de.hhu.stups:prologlib
2.13.2 54 jar Apr 11, 2024
de.hhu.stups:parserbase
2.13.2 54 jar Apr 11, 2024
de.hhu.stups:ltlparser
2.13.2 54 jar Apr 11, 2024
de.hhu.stups:eventbstruct
2.13.2 54 jar Apr 11, 2024
de.hhu.stups:cliparser
2.13.2 55 jar Apr 11, 2024
de.hhu.stups:bparser
2.13.2 55 jar Apr 11, 2024
de.hhu.stups:answerparser
2.13.2 55 jar Apr 11, 2024
de.hhu.stups:prob-java
4.13.1 2 jar Mar 26, 2024
de.hhu.stups:de.prob2.kernel
4.13.1 28 jar Mar 25, 2024
de.hhu.stups:de.prob2.commandline
4.13.1 9 jar Mar 25, 2024
de.hhu.stups:prob-java-bom
4.13.1 2 pom Mar 25, 2024
de.hhu.stups:sablecc-runtime
3.7.0 8 jar Feb 20, 2024
de.hhu.stups:sablecc
3.7.0 13 jar Feb 20, 2024
de.hhu.stups:rodin-eventb-ast
3.8.0 8 jar Oct 06, 2023
de.hhu.stups:voparser
0.2.1 3 jar Aug 14, 2023
de.hhu.stups:ltl-dsl
0.2.1 7 jar Aug 11, 2023
de.hhu.stups:value-translator
0.1.3 6 jar Aug 11, 2023
de.hhu.stups:eventbalg
2.12.5 48 jar Jul 10, 2023
de.hhu.stups:tlc4b
1.1.0 3 jar Apr 28, 2023
de.hhu.stups:typechecker
2.9.32 30 jar Dec 28, 2021
de.hhu.stups:prob2-ui-servlets
2.1.0 3 jar Aug 18, 2021
de.hhu.stups:alloy-core
5.1.0 1 jar Mar 10, 2020
de.hhu.stups:translator
2.9.23 34 jar Nov 07, 2019
de.hhu.stups:alloy2b
1.08-BETA 13 jar Feb 10, 2019
de.hhu.stups:propra_ss17.diary
0.1.1 2 jar Jul 03, 2017
de.hhu.stups:virtual-kata-lib
2.0.0 3 jar Nov 30, 2016
de.hhu.stups:bmotion-prob
0.3.1 6 jar Nov 07, 2016
de.hhu.stups:bmotion
0.3.1 6 jar Nov 07, 2016
de.hhu.stups:probkodkod
1.0.6 4 jar Oct 07, 2016
de.hhu.stups:tlatools
1.0.2 2 jar Feb 24, 2016
de.hhu.stups:infolog-parser
0.1.0 1 jar Aug 09, 2015
de.hhu.stups:ptolemy-jfmi
1.1.0 1 jar Aug 03, 2015
35 Records