default

loading
details
attribute current value
name default
description no description
owning solver NTI_19
contents 
#!/bin/bash
java -jar ./nti.jar -prove -gu=var -gutriples $1

back to NTI_19