No Description

Uploaded	Tue Jan 14 22:58:14 2020
md5 checksum	1b9fb12f4215ca406577c3924e7a0312
build	9
build_number	9
depends	clingo, nusmv, openjdk
noarch	generic
subdir	noarch
target-triplet	None-any-None
timestamp	1579042670489