default

loading
details
attribute current value
name default
description no description
owning solver Minkeyink solver ST
contents 
#!/bin/bash
./minkeyrink-2019.0.3  --SMTLIB2 "$1"

back to Minkeyink solver ST