Program file for checking the winner of the avoidance game on STS(15) (C++)
Program file for checking whether a given triangulation has guarding number 3 and a facial 3-complete 5-coloring (Python)
Data of planar triangulations with 10 or 11 vertices (generated by plantri)
Program file for checking whether the first player wins the Rubik's Cage with some restrictions (Python)
Program and data files for checking whether the equality holds for small graphs in Proposition 10 and Figure 1 (Python)
Program file for checking the difference between the achromatic number and the pseudoachromatic number of trees from 16 to 21 vertices (Python)