3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-09 09:21:56 +00:00
z3/src
Nikolaj Bjorner 240659d7f9 add back unit sharing
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2025-09-08 15:41:57 -07:00
..
ackermannization Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
api Parallel solving (#7821) 2025-08-26 22:22:16 -07:00
ast Parallel solving (#7804) 2025-08-21 15:45:56 -07:00
cmd_context Parallel solving (#7771) 2025-08-11 09:14:20 -07:00
math Parallel solving (#7804) 2025-08-21 15:45:56 -07:00
model Parallel solving (#7804) 2025-08-21 15:45:56 -07:00
muz move smt params to params directory, update release.yml 2025-06-09 10:47:22 -07:00
nlsat Parallel solving (#7804) 2025-08-21 15:45:56 -07:00
opt move smt params to params directory, update release.yml 2025-06-09 10:47:22 -07:00
params add search tree skeleton 2025-09-08 13:59:23 -07:00
parsers Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
qe move smt params to params directory, update release.yml 2025-06-09 10:47:22 -07:00
sat Parallel solving (#7804) 2025-08-21 15:45:56 -07:00
shell move smt params to params directory, update release.yml 2025-06-09 10:47:22 -07:00
smt add back unit sharing 2025-09-08 15:41:57 -07:00
solver Parallel solving (#7804) 2025-08-21 15:45:56 -07:00
tactic Parallel solving (#7804) 2025-08-21 15:45:56 -07:00
test add search tree template 2025-09-07 13:53:29 -07:00
util add search tree skeleton 2025-09-08 13:59:23 -07:00
build.cmd parallel skeleton 2025-09-05 10:08:54 -07:00
CMakeLists.txt Parallel solving (#7771) 2025-08-11 09:14:20 -07:00
parallel.cpp move to structured types 2025-09-05 11:31:40 -07:00