| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| basic/ | Thu Jun 11 20:52:28 PDT 2026 | ||
| complete/ | Tue Jun 23 09:59:26 PDT 2026 | ||
| core/ | Sat Jun 20 19:52:30 PDT 2026 | ||
| learnlib-archetypes-parent/ | Tue Jun 23 20:29:54 PDT 2026 | ||
| typical/ | Thu Jun 11 22:44:06 PDT 2026 |