5 Commits

Author	SHA1	Message	Date
Martin	89d15ddd13	ssl	2025-01-20 16:40:32 +01:00
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