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