Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Allow to control the problem size from the cmd line, and reduce the instance in MC
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 26 Feb 2023 16:17:19 +0000 (17:17 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 26 Feb 2023 16:20:27 +0000 (17:20 +0100)
The previous instance size resulted in a timeout now that the DPOR
reduction is less efficient (because it's less buggy)


No differences found