#!/bin/bash

# call probsat from the directory where this script is located
SOLVERDIR="$(dirname "${BASH_SOURCE[0]}" )"

# call solver
"$SOLVERDIR"/probSAT -a "$1" 
