Hi Florian, thanks for clarifications.
additional argument '--cert' would do.
perhaps --cert=$format ? (cpf/ceta, cetera) for future-proofing
Could you provide a (containerized) solver with support for certification (via '--cert')?
Yes we are currently working on this. We have containerized matchbox (*) it just needs some minimal testing and then publishing.
--name ... reasonably short (and just one line)
yes, so, not a full commit hash? I guess you will have to automatically trim the name anyway, for uniform display. To how many characters? Best regards, Johannes. (*) maybe this is helpful for others: here is our Dockerfile, it shows how to build an Haskell executable, and a C library https://git.imn.htwk-leipzig.de/waldmann/pure-matchbox/-/blob/eikmanns-%2312...