anchor.diff:    ""
     (fapix->fill-a-pix (algoritmo (fill-a-pix->fapix tab))))
   
  -(defun fapix-mrv (f) ; TODO: rever
  -  ""
  -  (let* ((lista-vna (fapix-ipixs-nao-atribuidos f))
  -	 (min-v (first lista-vna))
  -	 (min-length (length (fapix-pix-dominio f min-v))))
  -
  -    (dolist (v lista-vna)
  -      (let ((d-length (length (fapix-pix-dominio f v))))
  -	(when (< d-length min-length)
  -	  (setf min-length d-length)
  -	  (setf min-v v))))
  -
  -    min-v))
  +(defun fapix-mrv (f)
  +  ""
  +  (dotimes (i-len 3)
  +    (dolist (ipix (aref (fapix-dominio-len f) i-len))
  +	(return-from fapix-mrv ipix))))
   
   (defun procura-retrocesso-fc-mrv-fapix (f)
     ""
  +;  (format t "pr-fc-mrv~%")
     (let ((testes-totais 0))
  -    (when (fapix-completo-p f) (return-from procura-retrocesso-fc-mrv-fapix (values f testes-totais)))
  +    (when (fapix-completo-p f)
  +      (return-from procura-retrocesso-fc-mrv-fapix (values f testes-totais)))
   
       (let* ((ipix (fapix-mrv f))
  -;	   (d (psr-variavel-dominio p v))
  +	   (d (fapix-pix-dominio f ipix))
   	   )
   ;      (format t "Vou experimentar a variavel:~a cujo dominio e:~a~%" ipix (fapix-pix-dominio f ipix))
  -      (dolist (cor (fapix-pix-dominio f ipix))
  +      (dolist (cor d)
   	(multiple-value-bind (consistente testes) (fapix-atribuicao-consistente-p f ipix cor)
   	  (incf testes-totais testes)
   	  (when consistente
   ;	    (format t "Atribuindo o valor:~a a variavel:~a~%" cor ipix)
   	    (fapix-adiciona-atribuicao! f ipix cor)
   	    (setf (fapix-natribuidos f) (remove ipix (fapix-natribuidos f)))
  +;	    (format t "natribuidos:~a~%" (fapix-natribuidos f))
  +	    (setf (aref (fapix-dominio-len f) (length d))
  +		  (remove ipix (aref (fapix-dominio-len f) (length d))))
  +;	    (format t "dominio-len:~a~%" (fapix-dominio-len f))
   ;	    (format t "Depois da atribuicao~%")
   ;	    (desenha-fill-a-pix (fapix->fill-a-pix f))
   	    (multiple-value-bind (inferencias testes) (fapix-forward-checking f ipix)
  
positive.code:   "Devolve o dominio associado a um pix."
    (let ((cor (fapix-pix-cor f ipix)))
      (if cor
  	cor
  	(aref (fapix-dominio f) ipix))))
  
  (defun fapix-pix-restricoes (f ipix)
  
negative.code: 
  (defun pix-a-volta (ipix colunas max-ipix)
    "Devolve uma lista com os indices dos pix a volta do pix cujo o indice fornecido."
    (loop for l from (- ipix colunas) to (+ ipix colunas) by colunas when (< -1 l max-ipix)
      append (loop for c from (- l 1) to (+ l 1) when (= (linha c colunas) (linha l colunas))
        collect c)))
  
  