########################################################
# 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
#
#########################################################

 Name                    Last modified      Size  Description
 LEGAL-NOTICE            2021-09-20 00:17  2.8K  
 Makefile                1999-12-04 16:24  3.2K  
 README                  1999-12-06 17:51  817   
 bin/                    2003-12-03 12:26    -   
 bound.c                 1999-12-06 18:49   31K  
 psat-inv.c              1999-12-06 18:49   32K  
 psat.c                  1999-12-06 18:49   31K  
 qbf-S5n.c               1999-12-06 18:49   35K  
 qbf-cpdl.c              1999-12-06 18:49   39K  
 qbf-inv.c               1999-12-06 18:49   39K  
 qbf.c                   1999-12-06 18:49   38K  
 src/                    1999-12-06 17:50    -