jermp/fulgor

Even better build pipeline for meta colored dBG

jermp opened this issue · 1 comments

  • 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 the build 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.)

Done as of 6c96cc6.