This project primarily demonstrates the search for differential characteristics in collision attacks and SFS collision attacks using a SAT/SMT-based method.