details

attribute value name OSTRICH 1.3pre description OSTRICH 1.3 pre for SMT COMP 2023 owner Philipp Ruemmer uploaded May 11 2023 disk size 19.44 MB build status uploaded built

configurations

name	description
def	no description

actions

get anonymous link download