1. El núcleo ha sido arrojado
Se produjo un error antes de ingresar a la función solve_ |
Resuelva un cnf muy simple, no hay texto de cola en el camino, pero la propagación finaliza y aparece un "error de volcado de núcleo" |
Análisis: diferentes solucionadores dan dos conclusiones sat v 1 2 3 4 5 6 7 0 O v 1 2 3 -4-5-5-7 0 Tenga en cuenta que más de una asignación puede satisfacer la muestra. Analice cuidadosamente que las dos últimas oraciones en el cnf son tautologías.
El contenido del archivo. ----------------------------------- p cnf 7 7 ------------------------------------ |
Cambió un solucionador, no hay tal error! —— ¿Excepción causada por el código recién agregado? |