details

attribute	current value
name	lp
description	no description
owning solver	AProVE certified

contents

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

back to AProVE certified