GPU-based logic synthesis tool - View it on GitHub