synmod (pypi): Temporal model synthesis
Keywords: synmod