Algoritmos do módulo Solver trazidos para o core