mirror of
https://github.com/bendtherules/GSOC_13.git
synced 2026-10-17 16:46:49 +00:00
nnf_to_json.py takes galFiltered.nnf as input and produces result2.json as output. sif_to_json.py takes galFiltered.sif as input and produces result.json as output.