4 ms·
That sounds like a fun application, both the usage and the implementation. I wonder if you have any interesting example data-files that could be used with the
by mzl 6y ago
That sounds like a fun application, both the usage and the implementation.
I wonder if you have any interesting example data-files that could be used with the model, preferable both something small and something larger? Would be fun to test the model locally to see how it behaves.
Notes: I'm assuming here that https://gitlab.com/dustin-space/meal-scheduler/-/blob/master/plan/minizinc/simple-planning.mzn https://gitlab.com/dustin-space/meal-scheduler/-/blob/master... is the model used.
- prvak 6y agoUnfortunately 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.
- mzl 6y agoCool, 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.