Explore projects

Some guides for students, e.g., for using the workstations.

Initial repo for the utilities for CG:SHOP 23. Now on GitHub.

A Library to Access SMI MIB Information

Interval Arithmetic Prover Framework.

Python Utils for the SoCG 2020 CGSHOP Competition. It provides simple reading/writing tools for instances and solutions as well as checker. This library is also used internally by us in the server.