GitHub repository: partcleda/CULS
Description: GPU-based logic synthesis tool