
2015-2018 (C) Jussi Rintanen

Translator from the GraphSAT extended DIMACS format to DIMACS.

Functionalities:
   Reduce GraphSAT's file format to standard DIMACS
   Reduce GraphSAT's reachability constraint to acyclicity constraints

To compile (under Linux):
  Install the mlton compiler for Standard ML
  Check options in Makefile (64-bit amd is default architecture)
  write "make"
