News for hackers. Stuff that matters.

A comment on Ask HN: What is your “I don't care if this succeeds” project?. Parent comment

Re:Ask HN: What is your “I don't care if this succeeds” proj... by prvak on Wednesday February 03, 2021 @04:12AM (#26011926)
Unfortunately the model is wildly unoptimized. You can extract small minizinc inputs by `blaze test //plan:wrapper_test` which tests the model on simple use cases, the temporary files will go to `--test_tmpdir`.

I don't have a big minizinc input on hand. In our database it takes about 2 minutes to plan for a weeks meals. The model is probably wildly inefficient and optimizing it is one thing on the long term bug list.

[ Parent | on HN ]
Re:Ask HN: What is your “I don't care if this succeeds” proj... by mzl on Wednesday February 03, 2021 @04:28AM (#26012000)
Cool, I'll try that out later on.

If you have the time, extracting a large sample would be nice. Real-world usage is always more interesting than academic examples. Something that takes around 2 minutes feels like a sweet-spot for optimization as well, long enough to matter but not long enough to be annoying to experiment with.

[ Parent | on HN ]