#!/bin/sh

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

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