I'd would be willing to test it on my machine. Not sure if I can provide more in terms of verification.

The point of mentioning both was to give more options. Maybe one of them is easier to integrate.
If a definite answer is required, then Openmodelica is the package requested.