How to use FACT

Installing

FACT is easy to install! Be sure to follow this guide fully and completely before attempting to run a FACT script.

Prerequisites

FACT needs three libraries (and their headers!) to function: libgmp, libgc, and libpthreads. Install these using your favourite download method.

Installing

Launch the terminal and change the directory to the root of FACT's files. Type this:

$ sudo make install-headers

$ make

$ sudo make install

This will install a few files in your system so you'll be able to run FACT scripts. Congratulations, you're all set up with FACT!