| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| basic/ | Sat Nov 14 21:13:19 PST 2026 | ||
| complete/ | Sat Nov 14 23:45:00 PST 2026 | ||
| core/ | Sun Nov 15 01:12:52 PST 2026 | ||
| learnlib-archetypes-parent/ | Sun Nov 15 09:19:30 PST 2026 | ||
| typical/ | Sun Nov 15 04:16:34 PST 2026 |