GitHub repository: mudathirmahgoub/spes
Description: Tool for checking whether two SQL queries are equivalent