The original version of the software was developed by Jason Mai, Lei Zhao, Yifan Liu, Harsha Gangammanavar, and Suvrajeet Sen. It is available at the Github repository of USC 3D Laboratory (https://github.com/USC3DLAB/SD) . Harsha Gangammanavar maintains the current version.
v1.0
: Supports 2-SLPs with randomness in right-hand side and the technology
matrix. v2.0
: Supports 2-SLPs with randomness in right-hand side vector, the
technology matrix and cost coefficient vector.
Harsha Gangammanavar develops this software.