You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Brought up at #334 (comment), we can build a fully-balanced tree four times more efficiently than we can build an SMT subtree of the same size. This is reasonable for now, but we can and should optimize this better in the future.
The text was updated successfully, but these errors were encountered:
Brought up at #334 (comment), we can build a fully-balanced tree four times more efficiently than we can build an SMT subtree of the same size. This is reasonable for now, but we can and should optimize this better in the future.
The text was updated successfully, but these errors were encountered: