containerization (for termcomp 2025)

"Starting from 2025, TermComp runs on the RWTH HPC cluster. Tools must be submitted as Docker images."

https://termination-portal.org/wiki/Termination_Competition_2025_technical_details

associcated

• branch: https://git.imn.htwk-leipzig.de/waldmann/pure-matchbox/-/tree/eikmanns-%2312
• merge request: !72 (merged)

das Docker-Image erscheint dann hier: https://hub.docker.com/repository/docker/jwaldmann/termcomp2025-mbox/general Der Image-Name soll hier eingetragen werden: https://github.com/TermCOMP/registration