-
@ Pozorvlak
2025-03-12 09:37:11
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqyxxu3fkku2jfpuuhesaexzuhh6z5al0rjjs292kcvcryxc35v02q9jsaev Some solver backends have a "verbose solving" option, but it's greyed out for Gecode. If you use restarts (https://docs.minizinc.dev/en/stable/mzn_search.html#restart) they get logged in the output, which gives you some indication of (lack of) progress. But the basic problem here is that your search space is potentially enormous and you don't know how much of it needs to be explored!