| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| basic/ | Mon Aug 24 01:34:56 PDT 2026 | ||
| complete/ | Mon Aug 24 01:31:46 PDT 2026 | ||
| core/ | Sat Sep 05 18:12:52 PDT 2026 | ||
| learnlib-archetypes-parent/ | Sun Aug 23 14:14:27 PDT 2026 | ||
| typical/ | Sat Sep 05 17:43:53 PDT 2026 |