details

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

contents

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

back to AProVE 2015