Skip to content

Rename UNSATISFIABLE log code to UNSATISFIABLE_QUERY_PATH#9780

Merged
glen-84 merged 3 commits into
mainfrom
gai/rename-unsatisfiable-query-path-code
May 26, 2026
Merged

Rename UNSATISFIABLE log code to UNSATISFIABLE_QUERY_PATH#9780
glen-84 merged 3 commits into
mainfrom
gai/rename-unsatisfiable-query-path-code