details

attribute value name OSTRICH 1.3 SMT-COMP fixed description OSTRICH 1.3 fixed for SMT COMP 2023 owner Philipp Ruemmer uploaded Jun 21 2023 disk size 19.69 MB build status uploaded built

configurations

name	description
def	no description

actions

get anonymous link download