space efficiency (disk/memory)
priority:Low rust
Easy hack
features
priority:Low
priority:Normal
priority:High
performance priority:Normal
features priority:Low
features priority:Normal
priority:Normal rust
priority:Normal soundness
performance priority:High
priority:Normal space efficiency (disk/memory)
performance priority:Low
priority:Low soundness