First advance in Python Threads for SAT Problem

Trying to improve python SAT problem using threads; the performance could be checked using in a unix terminal : time python fillingArrayNoThreads.py 20; including with threads python file. It's necessary to have numpy python libraries; the librarie itself improves python arrays ;)