GitHub repository: Iamlixinzhao/Limbo
Description: Library for VLSI CAD Design Useful parsers and solvers' api are implemented.