Please document both the DLL interface functions and the external process protocol, so reviewers can review that the PR adheres to the specification, and so that people can write their own conforming black boxes.

Please document both the DLL interface functions and the external process protocol, so reviewers can review that the PR adheres to the specification, and so that people can write their own conforming black boxes.

The documentation for the ABI and executable streaming format will be part of the MiniZinc documentation.

The documentation for the ABI and executable streaming format will be part of the MiniZinc documentation.

Great! Do you have a link to it?

You can have a look at the current draft in my fork: https://github.com/Dekker1/libminizinc/blob/feat/blackbox/docs/en/blackbox.rst

You can have a look at the current draft in my fork: https://github.com/Dekker1/libminizinc/blob/feat/blackbox/docs/en/blackbox.rst

Thanks! Looks well documented. Perhaps mention whether fzn_blackbox function must be threadsafe, and there's a descrepancy who decides the number of output values; in the API it is the caller, in the streaming interface it is the black box.

Thanks for the feedback, I've updated the documentation with notes on these points. Regarding the seeming discrepancy, it should be noted that the fzn_blackbox constraint call always declares the amount of expected outputs, so if the stream contains a different amount of return values, this should generally be a runtime error.

I just pushed a small update to avoid an additional allocation for each propagate call (using int64_t directly) that I discovered working on the Chuffed implementation. This was a left-over from a previous version of the ABI where we used int. I'd updated the ABI connection, but not the internal run methods.

I found and fixed a typo. The new autoconf build failure appears to be unrelated to the change. Diagnosis from an agent is that the autoconf is missing a dependency that might be solved by adding:

$(FLATZINCSRC:%.cpp=%$(OBJSUFFIX)): $(VARIMPHDR)
$(FLATZINCSRC:%.cpp=%$(SBJSUFFIX)): $(VARIMPHDR)