default

loading
details
attribute current value
name default
description no description
owning solver yices-ismt-0512
contents 
#!/bin/sh
./ismt $1 -t:1200 2>$2/err.log

back to yices-ismt-0512