eventb-to-txt (pypi): Event-B to txt converter
Keywords: event-b