Skip to content
GitLab
Explore
Sign in
PredKodKod
de.hsrm.cs.PredKodKod
Tags
V0.1
V0.1
Matthias Jurisch
@jurisch
8c5ec56b
·
Added documentation and proper function handling
·
Oct 27, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Creates Sig declarations as Alloy File
