GitHub repository: IanBriggs/haploid
Description: SMT Preprocessing via EqSat