Closed makrai closed 8 years ago
This has to be merged together with https://github.com/kornai/pymachine/pull/15 in pymachine, see more information there.
This has to be merged together with https://github.com/kornai/pymachine/pull/15 in pymachine, see more information there.