Remove interception of ctrl+c
For SA, add a constant term to the probabilities to allow exploration
Make the solver return wether they found a solution