details

attribute value name pure-matchbox-2016-08-30.4 description SRS and cycle [non] termination from matchbounds, transport systems, closures. https://gitlab.imn.htwkMINUSleipzig.de/waldmann/pureMINUSmatchbox owner Johannes Waldmann uploaded 2016-09-02 23:22:59.0 disk size 9.69 MB build status uploaded built

configurations

name	description
std.sh	no description
cyc.sh	no description

actions

get anonymous link download