Merge Policy

If you want to contribute to this repository, open a pull request on GitHub with your suggested changes. Pushing to the main branch is forbidden. Note that there might be no active maintenance and no support since this software is only intended as an implementation supporting the corresponding paper.