2 commits

Author	SHA1	Message	Date
copilot-swe-agent[bot]	343012eda7	simplify parallel_tactical2 naming cast and expr_ref construction ... Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/ac9dbdb4-66c8-4305-ae57-97ba33f0f30d Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>	2026-05-13 15:49:41 +00:00
Copilot	85465dcc66	Add parallel_tactical2.cpp: portfolio parallel solver using the solver API (#9515) ... * add parallel_tactical2.cpp: portfolio parallel solver using solver API Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/8b3749c7-5957-41aa-85b5-2d76d4780d61 Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * address code review: cap conflict growth, clarify cube/split comments, use mk_or for conflict clause Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/8b3749c7-5957-41aa-85b5-2d76d4780d61 Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>	2026-05-12 21:19:27 -04:00