Seed management in server

[kasanari]

I am trying to run the actions Prost has produced with RDDLGym by loading the actions from the data_*.json. This does not yield the same reward as in the data, however, as the environment does not produce the same series of states for the given instance. I believe the reason for this is that the pyRDDLGym server runs each round with an unspecified seed, which makes reproducing the same series of states impossible.

To me, it seems like one would either have to

• Allow the RDDLgym server to use a given seed.
• Have the server report what seed was used, even if it is unspecified, and include it in the data saved by the run_prost script.