/pylloy

Translate Python code to DynAlloy models for analisys and testing.

MIT LicenseMIT

Pylloy

Translate Python code to DynAlloy models for analisys and testing.