stal (cargo): Set algebra solver for Redis
Keywords: redis