Code Editor : dpll