2016-04-11 | Alexander Fedotov | encode_screen updated | blob | commitdiff | raw |
2016-04-11 | Alexander Fedotov | tiny update | blob | commitdiff | raw | diff to current |
2016-04-11 | Alexander Fedotov | state encoding as it has to be | blob | commitdiff | raw | diff to current |
2016-04-07 | Alexander Fedotov | started with bdd encoding | blob | commitdiff | raw | diff to current |