deque structure for paths added
[mc1516pa.git] / modelchecker / coord.h
2016-04-21 Alexander Fedotovdeque structure for paths added
2016-04-20 Alexander Fedotovgoal state encoder added
2016-04-15 Alexander Fedotovsmall update
2016-04-12 Alexander Fedotovtransitions reworked
2016-04-12 Alexander Fedotovtransitions are finished
2016-04-11 Alexander Fedotovencode_screen updated
2016-04-11 Alexander Fedotovtiny update
2016-04-11 Alexander Fedotovstate encoding as it has to be
2016-04-07 Alexander Fedotovstarted with bdd encoding