 * Content

  * header file
    head.h	
    sat.c

  * Generators
    rsat.c
	Generator of Random Predicates
    ysat.c
	Generator of Satisfiable Predicates
    nsat.c
	Generator of Unsatisfiable Predicates
    addrand.c	
	Generator of Unsatisfiable Predicates ( Add Random clauses )
    reduce.c
	Generator of Unsatisfiable Predicates ( 4SAT -> 3SAT )
    redaddrnd.c
	Generator of Unsatisfiable Predicates ( 4SAT -> 3SAT, Random clauses )

  * Other files

  Asat.uu
	Dubois's Backtracking Algorithm
	Input file = in.dat
  cutd.c
	translate a generated instance into the Dubois's format
  edge.c
	count the number of a pair of literals (Dubois's format)
  edgeV.c
	count the number of a pair of variables (Dubois's format)
  transdimacs.c
	translate a Dubois format into a Dimacs one


How to compile

	gcc -O -o <execute file name> <source file name> sat.c
        (cc)						 (sat.o)

	gcc -O -o <execute file name> <source file name> 
	(cc)

Directory

  Nodata
	nsat.c
  Addrand
	addrand.c
  AddrandRatio16
	addrand.c   variable 100, ratio 1.6
  Reduce
	reduce.c
  Redaddrnd
	redaddrnd.c
  HardYes
	addrand.c --> yes