Какие есть библиотеки для целочисленной оптимизации python?

Есть достаточно большая система линейных уравнений Ax=B. С большой вероятностью система несовместна. Требуется найти такой вектор x0 над полем целых чисел, чтобы выражение sum((Ax0-B)**2) было минимально. Какие есть библиотеки python, для подобных целей? Было бы идеально проводить расчет на ГПУ, если такие решения существуют.