Answer by Laurent Perron for Or-tools cp_sat solver is inconsistent in results
For case 2, the problem become very big. You are creating 9M Boolean variables.Are you using multithreading ?Can you try reducing the size of the model and see if this is still flaky ?Is the problem...
View ArticleOr-tools cp_sat solver is inconsistent in results
I have an optimization problem and I am using or-tools cp_sat solver. The number of variables is around 3500 (all boolean) but the number of constraints is huge (~750000). Out of 3500 variables, ~3000...
View Article
More Pages to Explore .....
