Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Create SafetyChecker::backtrack() method
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 5 Apr 2016 09:03:50 +0000 (11:03 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 5 Apr 2016 14:32:44 +0000 (16:32 +0200)
commit8cbabb7df8c91256606fcbfdc31419e54a0bd857
tree82b6393e9c5ed7be3b22bf83351007e0d9ce80ee
parent7d9763f5619c35b79077e30f5d32de44699824a6
[mc] Create SafetyChecker::backtrack() method
src/mc/SafetyChecker.cpp
src/mc/SafetyChecker.hpp