Software Open Access
This is a SageMath package for studying flexible and rigid labelings of graphs.
It implements the concepts described in the papers
Graphs with Flexible Labelings (doi:10.1007/s00454-018-0026-9)
and Graphs with Flexible Labelings allowing Injective Realizations
(doi:10.1016/j.disc.2019.111713) by Georg Grasegger, Jan Legerský and Josef Schicho,
and in the doctoral thesis Flexible and Rigid Labelings of Graphs by Jan Legerský (available here).
The latest version of the code can be found in the GitHub repository: https://github.com/Legersky/flexrilog