See https://github.com/hpsim/OBR/issues/147 for requirements
See exasim-project/OBR#147 for requirements