Dongjae Lee 3916c451e5 Fix: typo in z3 python api (#7693)		2025-06-24 07:13:44 -07:00
..
ackermannization	Centralize and document TRACE tags using X-macros (#7657)	2025-05-28 14:31:25 +01:00
api	Fix: typo in z3 python api (#7693)	2025-06-24 07:13:44 -07:00
ast	add -> as another array sort constructor	2025-06-22 21:35:23 -07:00
cmd_context	Centralize and document TRACE tags using X-macros (#7657)	2025-05-28 14:31:25 +01:00
math	missing ;	2025-06-22 21:32:32 -07:00
model	Centralize and document TRACE tags using X-macros (#7657)	2025-05-28 14:31:25 +01:00
muz	move smt params to params directory, update release.yml	2025-06-09 10:47:22 -07:00
nlsat	use is_square_free_at_sample instead of is_well_oriented	2025-06-17 07:22:03 -07:00
opt	move smt params to params directory, update release.yml	2025-06-09 10:47:22 -07:00
params	add missing dependencies	2025-06-09 13:05:09 -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	move smt params to params directory, update release.yml	2025-06-09 10:47:22 -07:00
shell	move smt params to params directory, update release.yml	2025-06-09 10:47:22 -07:00
smt	introduce notion of auxiliary constraints created by nla_solver lemmas	2025-06-12 20:37:51 -07:00
solver	move smt params to params directory, update release.yml	2025-06-09 10:47:22 -07:00
tactic	adding proofs to euf-completion	2025-06-12 11:31:55 -07:00
test	fix the test-z3 build	2025-06-17 07:22:03 -07:00
util	add dependencies to fix build	2025-06-06 13:02:48 +02:00
CMakeLists.txt	move smt params to params directory, update release.yml	2025-06-09 10:47:22 -07:00