805b533b · * made trimming optional, refined constraint exporter to export grammar and model structure as well · Jun 15, 2026