Python библиотеки для минимизаций булевых выражений на GPU

Подскажите python библиотеки для минимизаций булевых выражений на GPU. Кол-во булевых переменных в выражении может превышать 1000. Я использую sympy, но у нее очень низкая производительность. Библиотеки z3, dd, pyeda не отображают булевые выражения в читабельном виде. То есть вместо x&y отображают AND(x,y). Это очень не удобно при анализе булевых выражения при отладке. Также у этих библиотек я не видел поддержку GPU.