Ilana Shapiro fb46bca5db Merge branch 'param-tuning' of https://github.com/ilanashapiro/z3 into param-tuning		2025-11-13 13:14:52 -08:00
..
ackermannization	Centralize and document TRACE tags using X-macros (#7657)	2025-05-28 14:31:25 +01:00
api	Merge branch 'master' of https://github.com/Z3Prover/z3 into param-tuning	2025-11-04 14:06:00 -08:00
ast	comment out parameter check	2025-11-04 16:11:58 -08:00
cmd_context	roll back extra argument to on_clause	2025-10-31 15:10:47 -07:00
math	Setting up param tuning infrastructure in C++ (#8006)	2025-10-30 03:15:32 -07:00
model	Revert "Add finite_set_value_factory for creating finite set values in model …" (#7985)	2025-10-16 13:18:35 +02:00
muz	fix #7952 - make auto-selector detect large bit-vectors so it does't use the datalog engine for hopelessly large tables	2025-09-30 15:58:48 -07:00
nlsat	change logic NRA->ALL in log_lemma	2025-11-01 08:47:30 -10:00
opt	add user propagators to opt_solver	2025-10-02 19:44:22 -07:00
params	fix bug about param protocol iteration only happening once, and add new user param to toggle for only running param tuning thread without parallel solving (just to test if it's finding good settings)	2025-11-13 13:14:45 -08:00
parsers	fix #7956	2025-09-30 15:41:49 -07:00
qe	move smt params to params directory, update release.yml	2025-06-09 10:47:22 -07:00
sat	roll back extra argument to on_clause	2025-10-31 15:10:47 -07:00
shell	move smt params to params directory, update release.yml	2025-06-09 10:47:22 -07:00
smt	fix bug about param protocol iteration only happening once, and add new user param to toggle for only running param tuning thread without parallel solving (just to test if it's finding good settings)	2025-11-13 13:14:45 -08:00
solver	Add commands for forcing preferences during search	2025-10-02 10:47:10 -07:00
tactic	roll back extra argument to on_clause	2025-10-31 15:10:47 -07:00
test	add tests showing shortcomings of factorization	2025-11-03 10:54:07 -10:00
util	add clone method	2025-10-31 07:24:14 -07:00
CMakeLists.txt	port improvements from ilana branch to master regarding nla	2025-09-19 12:28:31 -07:00