v0.6.0

What's Changed

• Fix variant hints in path errors and IsomorphicSpanningTree complexity by @GiggleLiu in #1042
• Beautify paper: cover page, indices, CLI args, page numbering by @isPANN in #1045
• fix paper completeness check false warning by @isPANN in #1049
• fix: remove 8 unsound reductions, fix 8 buggy rules (#1006) by @isPANN in #1052
• Add variant-level aliases; introduce 2SAT and 3SAT by @GiggleLiu in #1054
• Paper review sessions 1-6: entries 1-60 by @isPANN in #1051
• Redefine BMF as exact factorization; fix BicliqueCover semantics; add BMF → BicliqueCover by @GiggleLiu in #1056
• Add MaximumClique<SimpleGraph, One> variant with weight cast and reductions by @GiggleLiu in #1055
• Switch broken CBM example in README to MIS by @GiggleLiu in #1064
• Align CBM serialized form with declared schema by @GiggleLiu in #1065
• Make MIS → KingsSubgraph reduction deterministic (#1061) by @isPANN in #1063
• Fix #1059: add pred extract for lifting external target-space solutions by @isPANN in #1060
• Batch-add 13 Backlog Models + 26 Backlog Rules by @isPANN in #1067

Full Changelog: v0.5.0...v0.6.0