4 Commits

Include renames

Author	SHA1	Message	Date
Oli Sturm	1f24bea336	top-level main programs	2026-04-22 13:48:24 +01:00
Oli Sturm	b193f64861	add simplification steps	2026-04-21 23:04:56 +01:00
Oli Sturm	62ced3935c	add tests	2026-04-21 15:27:03 +01:00
Oli Sturm	3e9f0b56c9	initial	2026-04-21 14:43:06 +01:00