buschko/imca — pull request #3 by hhatefi (2014-04-09 17:57:45+00:00)
Title: fixed some buges.

- Fixed a bug in computation of maximum exit rate,
- Added consistency checking of input file for transition specification of form "* "