It looks like this isn't updated often or used

[MichaelGernaey]

It seems to me that the github unfortunately isn't really maintained or used often. Tis a shame it a nice repo.

[Laskewitz]

Hi @MichaelGernaey - what makes you say this isn't maintained or used often?

It's currently summertime and it might take a bit more time before a PR is merged because of the holiday breaks the maintainers have. Also - this is a community effort - which means that people maintaining it, do this in their free time. It's not their paid job, so please have a bit more patience with them.

Cheers,
Daniel