| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| basic/ | Tue Mar 31 14:23:15 UTC 2026 | ||
| complete/ | Fri Apr 03 15:17:52 UTC 2026 | ||
| core/ | Mon Mar 30 18:49:25 UTC 2026 | ||
| learnlib-archetypes-parent/ | Tue Mar 31 08:44:45 UTC 2026 | ||
| typical/ | Mon Mar 30 13:11:00 UTC 2026 |