Solucionador de restrições rápido e escalável
