######################################################## # 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
src/ 1999-12-06 17:50 - qbf.c 1999-12-06 18:49 38K qbf-inv.c 1999-12-06 18:49 39K qbf-cpdl.c 1999-12-06 18:49 39K qbf-S5n.c 1999-12-06 18:49 35K psat.c 1999-12-06 18:49 31K psat-inv.c 1999-12-06 18:49 32K bound.c 1999-12-06 18:49 31K bin/ 2003-12-03 12:26 - README 1999-12-06 17:51 817 Makefile 1999-12-04 16:24 3.2K LEGAL-NOTICE 2021-09-20 00:17 2.8K