| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| basic/ | Tue Nov 18 21:17:50 UTC 2025 | ||
| complete/ | Fri Feb 20 06:54:09 UTC 2026 | ||
| core/ | Tue Nov 18 21:17:49 UTC 2025 | ||
| learnlib-archetypes-parent/ | Wed Feb 18 14:43:50 UTC 2026 | ||
| typical/ | Fri Feb 20 21:16:00 UTC 2026 |