Files
2013-04-15 10:09:08 +05:30

3 lines
165 B
Plaintext

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.