5 Commits

Author	SHA1	Message	Date
Janis Hutz	833a8b5c5d	[TI] Compact: Start NP-completeness	2025-12-08 10:14:29 +01:00
Janis Hutz	14070f6839	[TI] Compact: Basically done up to (including) 6.5	2025-12-06 14:44:10 +01:00
Janis Hutz	3559973e6d	[TI] Compact: Finish computability, start complexity	2025-12-06 12:25:37 +01:00
Janis Hutz	c656bfa2e7	[TI] Compact: Almost finish reductions	2025-12-06 10:31:33 +01:00
Janis Hutz	7e4fa44539	[TI] Compact: Start	2025-12-02 17:15:04 +01:00