GitHub repository: nbulsi/also
Primary language: C++
Description: A logic synthesis tool