Actualizado para que no parezca que se cuelga cuando tu satsolver es demasiado lento ;)
Merge branch 'master' of https://github.com/Pinkii-/autoSatSolver