Library for Decision Diagrams over Linear Arithmetic - View it on GitHub