@@ -17,7 +17,7 @@ The executable files are generated and stored in the folder `./tool/bin/`. Usage
`GIST` computes sufficient and implementable assumptions for parity games using the algorithm given in the paper "Environment assumptions for synthesis" by Chatterjee et al. It requires one command-line argument which is a filename that contains description of a parity game in pgsolver format; and outputs the assumptions to stdout.
`hoa2pg.o` converts a parity game in extended HOA format to pgsolver format. It requires one stdin input which is the description of a parity game in extended HOA format; and outputs the game in pgsolver format to stdout.
`hoa2pg` converts a parity game in extended HOA format to pgsolver format. It requires one stdin input which is the description of a parity game in extended HOA format; and outputs the game in pgsolver format to stdout.
## Reproducibility Instructions
The experimental results of our paper can be reproduced using the following commands.
