org.overturetool.core | repo1.maven.org namespaces

org.overturetool.core:prettyprinting 3.0.2

Overture is a community-based project developing the next generation of open-source tools to supp...
32 versions - Latest release: over 3 years ago - 48 stars on GitHub

org.overturetool.core:codegen-runtime 2.2.2

Overture is a community-based project developing the next generation of open-source tools to supp...
7 versions - Latest release: about 9 years ago - 1 dependent package - 48 stars on GitHub

org.overturetool.core:typechecker 3.0.2

Overture is a community-based project developing the next generation of open-source tools to supp...
32 versions - Latest release: over 3 years ago - 7 dependent packages - 4 dependent repositories - 48 stars on GitHub

org.overturetool.core:commandlinetool 3.0.2

Overture is a community-based project developing the next generation of open-source tools to supp...
32 versions - Latest release: over 3 years ago - 1 dependent package - 48 stars on GitHub

org.overturetool.core:vdmjc 2.2.2

Overture is a community-based project developing the next generation of open-source tools to supp...
3 versions - Latest release: about 9 years ago - 48 stars on GitHub

org.overturetool.core:pog-string-based 2.0.8

Overture is a community-based project developing the next generation of open-source tools to supp...
3 versions - Latest release: about 10 years ago - 1 dependent package - 48 stars on GitHub

org.overturetool.core:guibuilder 2.3.0

Overture is a community-based project developing the next generation of open-source tools to supp...
11 versions - Latest release: over 8 years ago - 48 stars on GitHub

org.overturetool.core:interpreter 3.0.2

Overture is a community-based project developing the next generation of open-source tools to supp...
32 versions - Latest release: over 3 years ago - 14 dependent packages - 2 dependent repositories - 48 stars on GitHub

org.overturetool.core:ast 3.0.2

Overture is a community-based project developing the next generation of open-source tools to supp...
32 versions - Latest release: over 3 years ago - 14 dependent packages - 6 dependent repositories - 48 stars on GitHub

org.overturetool.core:isapog 3.0.2

Overture is a community-based project developing the next generation of open-source tools to supp...
21 versions - Latest release: over 3 years ago - 48 stars on GitHub

org.overturetool.core:codegen 3.0.2

Overture is a community-based project developing the next generation of open-source tools to supp...
31 versions - Latest release: over 3 years ago - 48 stars on GitHub

org.overturetool.core:npp 3.0.2

Overture is a community-based project developing the next generation of open-source tools to supp...
28 versions - Latest release: over 3 years ago - 48 stars on GitHub

org.overturetool.core:modelcheckers 2.3.0

Overture is a community-based project developing the next generation of open-source tools to supp...
11 versions - Latest release: over 8 years ago - 48 stars on GitHub

org.overturetool.core:parser 3.0.2

Overture is a community-based project developing the next generation of open-source tools to supp...
32 versions - Latest release: over 3 years ago - 7 dependent packages - 2 dependent repositories - 48 stars on GitHub

org.overturetool.core:pog 3.0.2

Overture is a community-based project developing the next generation of open-source tools to supp...
32 versions - Latest release: over 3 years ago - 3 dependent packages - 1 dependent repositories - 48 stars on GitHub

org.overturetool.core:combinatorialtesting 3.0.2