Algorithmic Pirogov-Sinai Theory