GRATgen
GRATgen

Check DRAT certificates and emit enriched GRAT certificate.

Build

Run cmake.

Documentation

In doc/ folder.