This repository was archived by the owner on Jul 19, 2019. It is now read-only.

Repository navigation

prob2

Public archive

About

ProB 2.0

EPL-2.0 license

11 stars

14 watching

Report repository

Name		Name	Last commit message	Last commit date
de.prob2.kernel		de.prob2.kernel
testDevelopment		testDevelopment
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
gradle.properties.enc		gradle.properties.enc
pubring.gpg.enc		pubring.gpg.enc
secring.gpg.enc		secring.gpg.enc

Repository files navigation

ProB 2.0

The repository has moved to https://github.com/hhu-stups/prob2_kernel

About

ProB 2.0

EPL-2.0 license

11 stars

14 watching

Report repository

Releases

Packages

Contributors

Languages