It is possible to set parameter sat.threads to make z3py use multiple threads for satisfiability proble