| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| basic/ | Sun Jul 05 03:48:29 PDT 2026 | ||
| complete/ | Tue Jul 07 20:07:52 PDT 2026 | ||
| core/ | Sat Jun 20 19:52:30 PDT 2026 | ||
| learnlib-archetypes-parent/ | Wed Jul 08 01:36:55 PDT 2026 | ||
| typical/ | Fri Jul 03 13:22:47 PDT 2026 |