Rigidity of polytopes with edge length and coplanarity constraints | Synapse