#!/bin/sh

set -e

indir=Examples
satisfiables="garden9x9.opb stein27_bignum.opb"
unsatisfiables=unsat.opb

for f in ${satisfiables}; do
    minisat+ -of ${indir}/$f | grep  -q "s OPTIMUM FOUND"
done

for f in ${unsatisfiables}; do
    minisat+ -of ${indir}/$f | grep  -q "s UNSATISFIABLE"
done
