d-krupke/CP-SAT-Log-Analyzer

Cannot parse satisfication models with sequential search in CP-SAT v9.9

d-krupke opened this issue · 1 comments

Added the problematic log in example_logs/99_01.txt.
It does not have a search log, which will make the log analysis difficult in general.

It seems like I already fixed that issue.