GRATgen: GRATgen

GRATgen

GRATgen

Check DRAT certificate and emit GRAT certificate.

# Build

Run

    cmake .
    make
    make install

this should generate a build system, build the executable gratgen, and install it in $HOME/bin by default.

If you do not like heavy make scripts, just run:

    g++ -O3 -DNDEBUG -std=c++11 -pthread -o gratgen gratgen.cpp

and make sure you have the Boost libraries on your include path.

# Usage

For short:

gratgen formula.cnf formula.drat [-o formula.gratp] [-l formula.gratl] [-j num_threads]

run gratgen without arguments to get a list of all available options.

# Documentation

Can be found in the doc/ folder.