4 Commits

Author	SHA1	Message	Date
martin	f24241f851	Cleaning	2025-01-14 14:30:41 +01:00
martin	33ba6b819d	Update	2024-10-15 10:41:25 +02:00
martin	c583dd4d7e	add counterexamples	2024-03-13 09:44:40 +01:00
martin	75d686188d	March | infeasibilities	2024-03-13 09:35:38 +01:00