Rigidity of Polytopes with Edge Length and Coplanarity Constraints | Synapse