2016-04-07 | Alexander Fedotov | tiny update |
commit | commitdiff | tree |
2016-04-07 | Alexander Fedotov | small clean-up |
commit | commitdiff | tree |
2016-04-07 | Alexander Fedotov | state encoding done (needs checking) |
commit | commitdiff | tree |
2016-04-07 | Alexander Fedotov | encoding update (unfinished) |
commit | commitdiff | tree |
2016-04-07 | Alexander Fedotov | small update |
commit | commitdiff | tree |
2016-04-07 | Alexander Fedotov | started with bdd encoding |
commit | commitdiff | tree |