libreta: Computerized Optimization and Code Synthesis for Electron Repulsion Integral Evaluation | Synapse