1. The core has been dumped
 |
| An error occurred before entering the solve_ function |
 |
| Solve a very simple cnf, there is no queue text in the trail but the propagation ends and a "core dump error" appears |
| Analysis: Different solvers give two sat conclusions v 1 2 3 4 5 6 7 0 or v 1 2 3 -4 -5 -6 -7 0 Note that more than one assignment can satisfy the sample. Carefully analyze that the last two sentences in the cnf are tautologies.
The content of the file ----------------------------------- p cnf 7 7 ------------------------------------ |
|
|
| Changed a solver, there is no such error! ——Exception caused by newly added code? |
