Read-only release history for Algorithm-SetCovering