An open source tool for people taking logic design classes.