Closed AnneBeyer closed 8 months ago
As a first step towards #12, GameInstanceGenerator.generate() can now be given a file name to create different versions of instances in in/ (default is set to "instances.json" as before)
in/
fixed with https://github.com/clp-research/clembench/pull/44
As a first step towards #12, GameInstanceGenerator.generate() can now be given a file name to create different versions of instances in
in/
(default is set to "instances.json" as before)