change remove_state funcion to allow for reasigning of ids without normalizing - Githubissues

moves-rwth / stormvogel

Storm for almost everyone

2 stars 0 forks source link

change remove_state funcion to allow for reasigning of ids without normalizing #125

Closed PimLeerkes closed 2 weeks ago