Foundations of OptimDSS