default

loading
details
attribute current value
name default
description no description
owning solver stp-incremental-2019
contents 
#!/bin/sh

./stp-2.1.2 --SMTLIB2 --cryptominisat4 "$1"

back to stp-incremental-2019