default

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

back to yices-ismt-0721