DCC: Differentiable Cardinality Constraints for Partial Index Tracking | Arena Library | Arena