使用numpy数组和SAT求解器进行Python多处理

Question

我已经浏览了论坛，似乎找不到任何有用的东西。我试图并行化一些流程，但似乎无法让它发挥作用。

from multiprocessing import *
from numpy import *

x=array([1,2,3,4,5])

def SATSolver(args):
    #many_calculations
    return result

def main(arg):
    new_args=append(x,arg)
    return SATSolver(new_args)

y=array([8,9,10,11])

if __name__ == '__main__':
    pool=Pool()
    results=pool.map(main,y)
    print(results)

SATSolver功能是大部分工作发生的地方。基本上，我有一个数组x和第二个数组y。我想添加将y中的每个值单独附加到x，然后通过我的SATSolver函数运行这个新集合。我想使用多处理模块，这样可以并行运行。

每当我尝试运行它时，我都不会收到错误，但会弹出一个新的交互式窗口并说“无法从文件路径加载文件 \ - c 。你想创建一个新文件吗？＆＃34;

在没有多处理的情况下运行时，一切都很完美。

关于如何使这项工作的任何想法？

谢谢！