| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| basic/ | Mon Aug 24 01:34:56 PDT 2026 | ||
| complete/ | Sat Sep 19 04:41:46 PDT 2026 | ||
| core/ | Mon Nov 02 09:41:27 PST 2026 | ||
| learnlib-archetypes-parent/ | Mon Oct 19 21:02:54 PDT 2026 | ||
| typical/ | Mon Nov 02 06:16:23 PST 2026 |