-Algorítmo de arco consistencia praticamente feito.
-Ainda não está genérico e faltam alguns ajustes.
-Criada a classe Arco para representação dos arcos e sua variável
principal.