search

d-krupke / CP-SAT-Log-Analyzer

A webapp that visualizes and annotates your ortools' CP-SAT logs. Partially inspired by gurobi-logtools.
https://cpsat-log-analyzer.streamlit.app/
MIT License
32 stars 1 forks source link

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

Open d-krupke opened 6 months ago

d-krupke commented 6 months ago

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.