OSTRICH_1.2pre1

loading
details

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

actions get anonymous link download