1. O núcleo foi despejado
 |
| Ocorreu um erro antes de inserir a função resolve_ |
 |
| Resolva um cnf muito simples, não há texto na fila na trilha, mas a propagação termina e um "erro de despejo principal" é exibido |
| Análise: diferentes solucionadores dão duas conclusões v 1 2 3 4 5 6 7 0 Ou v 1 2 3 -4 -5 -6 -7 0 Observe que mais de uma tarefa pode satisfazer a amostra. Analise cuidadosamente que as duas últimas frases no cnf são tautologias.
O conteúdo do arquivo ----------------------------------- p cnf 7 7 ------------------------------------ |
|
|
| Alterado o solucionador, não existe esse erro! - Exceção causada pelo código adicionado recentemente? |
