copilot-swe-agent[bot] 8da94d2ca3 Re-enable difference rule using set_sort directly ... Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>		2025-10-14 09:49:19 +00:00
..
ackermannization
api
ast	Re-enable difference rule using set_sort directly	2025-10-14 09:49:19 +00:00
cmd_context	patch definitions, add pretty print support	2025-10-13 22:39:32 +02:00
math
model
muz
nlsat
opt
params
parsers	patch definitions, add pretty print support	2025-10-13 22:39:32 +02:00
qe
sat
shell
smt
solver
tactic
test	Re-enable difference rule using set_sort directly	2025-10-14 09:49:19 +00:00
util	Remove unused variable 'first' in mpz.cpp	2025-10-13 21:00:54 +02:00
CMakeLists.txt