OSTRICH_1.2pre1

loading
details

attribute value
name OSTRICH_1.2pre1
description OSTRICH 1.2pre for SMT COMP 2022
owner Philipp Ruemmer
uploaded 2022-06-16 09:24:18.0
disk size 18.99 MB
build status uploaded built
configurations
name description
def no description

actions get anonymous link download