default

loading
details
attribute current value
name default
description no description
owning solver STP 2021.0
contents
#!/bin/bash
ulimit -s unlimited
SOLVERDIR="$(dirname "${BASH_SOURCE[0]}" )"
"$SOLVERDIR"/stp --threads $(nproc) --SMTLIB2 "$1" 

back to STP 2021.0