trs

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

back to AProVE certified