max timelimit between two solutions (minizinc, cp-sat)
13 views
Skip to first unread message
Samrat Kadge
Nov 11, 2025, 12:10:01 PMNov 11
to MiniZinc
Goal:
For optimization problem,
terminate if now new solution is found within the timelimit
Are there any options in minizinc or (cp-sat sat proto parameters)?
For optimization problem,
terminate if now new solution is found within the timelimit
Are there any options in minizinc or (cp-sat sat proto parameters)?
A relevant post, but I couldnt follow.
https://groups.google.com/g/or-tools-discuss/c/IQVyGoJTe9w/m/RZZk6IHWCQAJReply all
Reply to author
Forward
0 new messages