#!/bin/bash ulimit -s unlimited SOLVERDIR="$(dirname "${BASH_SOURCE[0]}" )" "$SOLVERDIR"/stp --cadical "$1"