jwernerny/doubletsolver archive