2011

loading
details
attribute current value
name 2011
description no description
owning solver AProVE NIA 2014
contents
#!/bin/sh
export PATH=`pwd`:$PATH
java -Xmx2500m -jar aprove.jar -d diologic -m smtlib $1

back to AProVE NIA 2014