add worst_case converter to rmt

This commit is contained in:
2025-06-04 22:56:17 +00:00
parent 23867747cd
commit d3fe6efd47
2 changed files with 138 additions and 2 deletions

3
.gitignore vendored
View File

@@ -1,4 +1,3 @@
data.*
__pycache__
tree.json
compressed_tree.json
*.json