GitHub repository: ArchishaSahai/prism-BugThug
Description: Official Repo for BugThug challenge in Prism 2024