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),
Graphs with Flexible Labelings allowing Injective Realizations (doi:10.1016/j.disc.2019.111713) and
On the Classification of Motions of Paradoxically Movable Graphs (arXiv:2003.11416)
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 package is described in FlexRiLoG – A SageMath Package for Motions of Graphs (doi: 10.1007/978-3-030-52200-1_44) by Georg Grasegger and Jan Legerský.
The latest version of the code can be found in the GitHub repository: https://github.com/Legersky/flexrilog
The section Demos in README provides links to online versions of notebooks illustrating the package.