YSITD_Chat_Bot says to #ysitd <koru1130>: Cosette: An Automated SQL Solver http://cosette.cs.washington.edu/ ...checking the equivalence of queries and written using HoTT.