System requirement:

    For making files, we use g++ code and gmake for making files.

How to make our instance generators:

    We have four kinds of instance generators which are called
    GenFact, GenFactC, GenCSAdd, and GenCSAddC. Below we explain for
    GenFact.  Other instance generators are also obtained similarly.    

    1. Download the source file, GenAll.tar.gz
    2. Extract the source files.
    3. Type "make GenFact".  Then the generator GenFact is created under
       your current directory. That's all about it. If you would like to
       create all the generators, please type just "make all".

How to use our instance generators:

    If you run the program without any option, you can get the
    usage. GenFact and GenFactC' which are based on factorization,
    work as the same way. GenFact (GenFactC)
    requires two primes, p and q, and generates a file named gf.p.q
    (gfc.p.q) which contains CNF fomula.
    In order to obtain instances, you just type "GenFact p q"
    ("GenFactC p q").

    On the other hand, GenCSAdd and GenCSAddC, which are based on
    some arithmetics, x+ky=z, take the same parameters. Both of them
    need x and y, and k can be changed by giving as third parameter
    (default is k=5). GenCSAdd (GenCSAddC) makes a file called
    gcsa.x.y.k (gcsac.x.y.k) which contains the SAT instance.
    Now you can get the instance by just typing "GenCSAdd x y [k]"
    ("GenCSAddC x y [k]"). For example, if you would like to let k be
    6, you have to input "GenCSAdd x y 6" ("GenCSAdd x y 6"). You do
    not have to give k and you just type "GenCSAdd x y" ("GenCSAddC x
    y") when k=5 is fine.