Heterotic Compactification, An Algorithmic Approach