# Check that cryptominisat starts and solves some trivial cases
set -e

echo -e "1 0\n-1 0" | cryptominisat | grep UNSATISFIABLE
echo -e "1 0" | cryptominisat | grep SATISFIABLE
