default

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

back to STP 2022.2