Hartree-Fock solver