details

attribute value name OSTRICH 1.3 SMT-COMP description OSTRICH 1.3 for SMT COMP 2023 owner Philipp Ruemmer uploaded May 30 2023 disk size 19.68 MB build status uploaded built

configurations

name	description
def	no description

actions

get anonymous link download