implementing delete and confilict solver