Issue 1235: Make translator available on pypi

Title	Make translator available on pypi
Priority	feature	Status	in-progress
Superseder		Nosy List	gabi, jendrik, malte
Assigned To	gabi	Keywords	translator
Optional summary

Created on 2026-07-29.15:06:38 by gabi, last changed by gabi.

msg12131 (view)

Author: gabi

Date: 2026-07-29.15:06:38

We decided to make the translator available as an independent package on Pypi. This will be in addition to the usual release, so for the moment, we still plan to include the translator as part of the normal Fast Downward releases.

History
Date	User	Action	Args
2026-07-29 15:06:38	gabi	create

Issue1235