time bound solutions #12
Description
We need to time bound solvers (maybe use python multiprocessing?). We need also to increase the number of threads.
{{ message }}
We need to time bound solvers (maybe use python multiprocessing?). We need also to increase the number of threads.