SQL Query Weak Equivalence A structure in PostgreSQL for checking weak equivalence of SQL queries. z3 update needs to build on z3 4.11.3 version: