Download Satgraph at https://github.com/satgraph/satgraph/releases