########################################################
# The Benchmarks generators are the following:
# 
#  bound.c
#
#  qbf.c 
#  qbf-inv.c
#  qbf-cpdl.c
#  qbf-S5n.c
#
#  psat.c
#  psat-inv.c
#
#########################################################
#
# to compile all benchmark generators simply type
#
# make
#
# Or specify the name of the generator
#
# make bound
# make qbf
# etc.
#
# the executables will be the directory "bin"
#
#########################################################
#
# To delete the executables type
#
# make clean
#
#########################################################
#
# If you have modified the generators and what to regenerate the
# original generators as download from the TANCS site then type
#
# make distrib
#
#########################################################