Few months ago, when I was searching for a program to simulate circuits and stuff, I found this https://github.com/dkilfoyle/logic2 IDK if I can be helpful. I think it is very powerful in a way. Best