Default branch

master 62cd39729f · Fix NuGet package missing Microsoft.Z3.dll due to inverted replace() logic (#8029) · Updated 2025-11-16 19:46:16 +00:00

Branches

unsound 955d441332 · log for smtrat · Updated 2025-11-19 03:08:44 +00:00	9 18
arie 179601ffac · testing model repair · Updated 2025-11-18 22:14:54 +00:00	81 142
dependabot/github_actions/actions/upload-artifact-5 e22c951280 · Bump actions/upload-artifact from 4 to 5 · Updated 2025-11-17 22:03:59 +00:00	0 1
dependabot/github_actions/actions/setup-python-6 f168326d77 · Bump actions/setup-python from 5 to 6 · Updated 2025-11-17 22:03:50 +00:00	0 1
dependabot/github_actions/actions/download-artifact-6 36c40deba8 · Bump actions/download-artifact from 4 to 6 · Updated 2025-11-17 22:03:46 +00:00	0 1
parallel abbbc3c530 · Small bugfix in compute_sibling_resolvent (#8031) · Updated 2025-11-17 01:00:17 +00:00	64 33
copilot/add-cmake-option-python-bindings 74501e2c48 · Disable executable and test builds when not building libz3 core · Updated 2025-11-16 18:43:49 +00:00	1 4
copilot/fix-nuget-package-dll a864fbdf27 · Add documentation and improve code comments · Updated 2025-11-16 18:22:29 +00:00	1 3
finite-sets df816cab07 · Add finite set API support for C# and Java bindings (#8003) · Updated 2025-11-04 23:57:55 +00:00	64 129
copilot/add-string-operations-java-api 874810f166 · Delete examples/java/StringReplaceTest.java · Updated 2025-11-04 17:47:24 +00:00	12 5
copilot/extend-api-support-finite-sets f234acd7d9 · Add FiniteSetSort files to CMakeLists.txt build configurations · Updated 2025-10-30 15:47:32 +00:00	64 116
argnd 657e8c9da7 · fix param evaluation non-determinism · Updated 2025-10-30 15:09:06 +00:00	25 22
copilot/add-api-functions-finite-set 1bde31d695 · Add finite_set API functions to Julia bindings · Updated 2025-10-30 01:46:22 +00:00	64 114
copilot/add-finite-set-operators 973123aa8d · Improve documentation for Z3_OP_FINITE_SET_EXT and Z3_OP_FINITE_SET_MAP_INVERSE · Updated 2025-10-29 23:51:59 +00:00	64 114
copilot/add-mklastindexof-method 0678c8b889 · Delete examples/java/TestJavaAPICompleteness.java · Updated 2025-10-28 22:46:37 +00:00	25 4
upoly f8a1f98fce · try Lazard project · Updated 2025-10-26 19:15:50 +00:00	25 3
copilot/fix-finite-set-decl-plugin 0fcb0b6492 · Fix unit tests for infinite base sorts · Updated 2025-10-22 12:45:37 +00:00	64 66
copilot/add-finite-set-constructors 7ab0049612 · Add documentation for finite set API · Updated 2025-10-21 20:29:12 +00:00	64 67
lws 0baaa3f9ce · relax an assert · Updated 2025-10-18 21:44:23 +00:00	230 101
copilot/rename-set-select-to-filter 9373311baf · Merge branch 'finite-sets' into copilot/rename-set-select-to-filter · Updated 2025-10-18 10:10:11 +00:00	64 58