circuit EDA symbolic library - View it on GitHub