swift

47fc3d87 - RequirementMachine: Speed up PropertyMap lookups with a suffix trie

RequirementMachine: Speed up PropertyMap lookups with a suffix trie Whereas term simplification uses a prefix trie with shortest matching, the PropertyMap uses a suffix trie with longest matching.