GitHub repository: ArrogantGao/EliminateGraphs.jl
Description: Graph data structure  for fast elimination