2016-04-11 | Alexander Fedotov | state encoding as it has to be |
commit | commitdiff | tree |
2016-04-10 | Alexander Fedotov | relation structures added |
commit | commitdiff | tree |
2016-04-10 | Alexander Fedotov | bimap helper added |
commit | commitdiff | tree |
2016-04-10 | Alexander Fedotov | coord tiny update |
commit | commitdiff | tree |
2016-04-09 | Alexander Fedotov | Merge branch 'master' of https://github.com/dopefishh... |
commit | commitdiff | tree |
2016-04-09 | Alexander Fedotov | helper maps |
commit | commitdiff | tree |
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 |