segmentation fault - z3 Python API: Optimize()+timeout=error de segmentación

python - Solución de fórmulas en paralelo con z3 - edu.lat