Greedy Sparsity-Constrained Optimization - Library.life