itrs

loading
details
attribute current value
name itrs
description no description
owning solver AProVE 2015
contents 
#!/bin/bash
./run.sh $1 itrs

back to AProVE 2015