Even better build pipeline for meta colored dBG
jermp opened this issue · 1 comments
jermp commented
-
When building a meta colored dBG, currently we first build a Fulgor index and then partition it with the
partition
tool.
This is useful when we want to test different partition methods. But for end-to-end users, it's likely more handy to just have an option to thebuild
tool, say--meta-colored
, which does build+partition in one go. -
Also, hide the
permute
tool under a--advanced
flag options. (It is not meant to be used by common users.)