polymake/release repository overview

These images can be used instead of polymake/nightly with the same starter script ''polymake-in-container.sh''. Please refer to https://polymake.org/doku.php/howto/dockerimage⁠ for instructions on the image use.