include ../../header.mk

TEST       = clausify
TITLE      = reducing propositions to clausal form
TEST_ARGS  = 100

# GHC 6.6 bug, -O2 causes a space leak:
# GHC_EXTRA_OPTS=-O

include ../../footer.mk