Solver has some bugs #5
Description
There are a few CNFs that trigger bugs in the implementation. For real world CNFs, these might not have a big impact, and by using a CNF simplifier these problems might actually not be hit, but the should still be addressed:
The branch that show cases them is:
https://github.com/conp-solutions/PCasso/tree/solver-failures
The command sequence to trigger them (on this branch) is:
make clean
make pcassod MYLFLAGS="-fsanitize=address -pthread"
./cnfs/re-validate.sh
echo "Status: $?"