5 commits

Author	SHA1	Message	Date
Tom van Dijk	13c6d411e7	z3: refactor	2025-05-22 11:29:44 +02:00
Tom van Dijk	4b9c17e546	z3_4_15: rename to z3	2025-05-22 11:29:44 +02:00
Tom van Dijk	60cbd81553	z3: add aliases for older versions	2025-05-17 15:31:18 +02:00
Tom van Dijk	f9d66c36aa	z3: 4.14.1 → 4.15.0, z3_4_14: drop, z3_4_15: init at 4.15.0	2025-05-17 14:32:53 +02:00
Morgan Jones	93bcaf1311	z3: remove all but 4.14 ... Clean up this package set, since nothing depends on it now, and deal-solver now appears to work fine.	2025-04-23 00:26:16 -07:00