Indeed, it looks pretty good now!
One should now still check for the correctness of the model generated, if not yet checked. And perhaps put some more thought on how to best organize the code. But otherwise, I think one would be good to go to test with larger model instances. I could generate SQLite databases, consistent with the Utopia database, for suitable instances, if desired.
One should now still check for the correctness of the model generated, if not yet checked. And perhaps put some more thought on how to best organize the code. But otherwise, I think one would be good to go to test with larger model instances. I could generate SQLite databases, consistent with the Utopia database, for suitable instances, if desired.