details

attribute	current value
name	fp
description	no description
owning solver	AProVE 2015

contents

#!/bin/bash
./run.sh $1 hs

back to AProVE 2015