#!/bin/sh

# tests only runnable with unit resolution and clausification

PRI=../../princess

TESTS="PUZ031p1.pri"

$PRI "$@" $TESTS
