| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| basic/ | Mon Mar 16 10:50:31 PDT 2026 | ||
| complete/ | Tue Jun 02 22:28:21 PDT 2026 | ||
| core/ | Mon Mar 16 13:30:43 PDT 2026 | ||
| learnlib-archetypes-parent/ | Wed Jun 03 06:28:10 PDT 2026 | ||
| typical/ | Thu Apr 17 13:10:35 PDT 2025 |