drive-editor
Changes an existing drive — its goal, a constraint, a failure condition, a scenario, its plays or their order, the questions it asks first, its checker or runner setting, or how it ends — by editing t
Changes an existing drive — its goal, a constraint, a failure condition, a scenario, its plays or their order, the questions it asks first, its checker or runner setting, or how it ends — by editing t