Possible evolutionary histories are discussed. The most probable present system consists of two neutron stars, the end result of an X-ray binary phase followed by a double core star phase.
Revising an earlier approach by Andrej Cadez, we have developed a computer code to integrate the full Einstein equations starting from the Misner time-symmetric initial conditions.