helper maps
authorAlexander Fedotov <soyaxhoya@gmail.com>
Sat, 9 Apr 2016 21:35:09 +0000 (22:35 +0100)
committerAlexander Fedotov <soyaxhoya@gmail.com>
Sat, 9 Apr 2016 21:35:09 +0000 (22:35 +0100)
commitb18ff9447389e6879994f90d458b5a0e993755f3
treeb940b6d36b5070412bafce94845815b64b009d5d
parentb29982e8181d823142ce12b6d582181937fba7ad
helper maps
modelchecker/coord.c