Enforce `LearningAlgorithm` contracts more rigorously#163

Merged

mtf90 merged 6 commits into

LearnLib:developfrom

mtf90:learning-algorithm-contracts

Jul 8, 2026

Commits on Jul 7, 2026

first chunk of regular learners
mtf90
committed