satsolver module improvement, step 1: Include other sat solvers