Automatic code generation for many-body electronic structure methods: the tensor contraction engine‡‡ | Synapse