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