5 Commits

Author	SHA1	Message	Date
martin	6caeced0f0	port update	2025-01-20 16:39:27 +01:00
martin	4b1d19b858	new dns	2025-01-20 16:32:25 +01:00
martin	99daf507d6	fix	2025-01-20 16:27:13 +01:00
martin	86ee0f48d4	solver interface	2025-01-20 16:20:35 +01:00
martin	56fba3b5d9	ORIGIN	2025-01-14 10:10:15 +01:00