Um solucionador de restrições relativamente novo, mas que é rápido e escala bem conforme o tamanho do problema 
aumenta.
