Closed phisad closed 8 months ago
As a first step towards https://github.com/clp-research/clembench/issues/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)
dropped an unrelated commit from https://github.com/clp-research/clembench/pull/38
As a first step towards https://github.com/clp-research/clembench/issues/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)