Charge-constrained auxiliary-density-matrix methods for the Hartree–Fock exchange contribution | Synapse