| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| basic/ | Sun Oct 25 12:21:13 PDT 2026 | ||
| complete/ | Mon Oct 26 03:23:43 PDT 2026 | ||
| core/ | Sat Aug 08 08:48:00 PDT 2026 | ||
| learnlib-archetypes-parent/ | Mon Oct 26 04:52:41 PDT 2026 | ||
| typical/ | Sun Oct 25 07:50:54 PDT 2026 |