Thanks for pointing that out. I was asking earlier if anybody knew about alternatives to libdai. I have a bit of a problem using this library since I must go through some language boundary eventually, whether that means translating my data into some intermediate format or going through some wrapper generator.
I usually never have this much of an issue with something, its just been errpr and hangup after hang up with this library and swig. Now that I recall, I haven't ever had a pleasant experience with swig if I had to work with it.
Ill see if I can't create some even smaller reproducible instance that is really really minimal - no opam, no oasis, no libdai or anything. Just a folder with a dockerfile, makefile, swig interface, c header and example ml that reproduces my issue.