In GNSS, a double-difference carrier phase observation model is typically employed, and high-accuracy position coordinates can be obtained by resolving the integer ambiguity within the model through algorithmic processing. To address the challenge of a double-difference integer ambiguity resolution, an enhanced Simulated Annealing Ant Lion Optimizer (SAALO) is proposed. This algorithm is designed to efficiently resolve integer ambiguities. First, the performance of the SAALO algorithm was evaluated by comparing its solving speed and success rate with those of the Ant Lion Optimization Algorithm (ALO), the LAMBDA algorithm and the MLAMBDA algorithm. The results demonstrate that the SAALO algorithm achieved a solution success rate that was 0.0496 s and 0.01 s faster than the LAMBDA and M-LAMBDA algorithms, respectively. Second, to further validate the high-dimensional ambiguity resolution capability of the SAALO algorithm, integer ambiguity resolution tests were conducted in both 6-dimensional and 12-dimensional scenarios. The results indicate that the SAALO algorithm achieves a success rate exceeding 98%, confirming its robust performance in high-dimensional problem-solving. Finally, the practical application of the SAALO algorithm was tested in short- and medium-baseline scenarios using a single-frequency GPS system. With a baseline length of 42.7 km, the SAALO algorithm exhibited a slightly faster average solution time compared to the LAMBDA algorithm, while its solution success rate was 5.2% higher. These findings underscore the effectiveness and reliability of the SAALO algorithm in real-world GNSS applications.