Added a more useful ReasonerPlan toString.#534

Merged

bnouwt merged 7 commits intomasterfrom

add-reasonerplan-tostring

Sep 30, 2024

Commits on Aug 30, 2024

Added a more useful ReasonerPlan toString.
bnouwt
committed

Commits on Sep 6, 2024

Change back to includeMetaKIs().
bnouwt
committed

Commits on Sep 11, 2024

Merge branch 'master' into add-reasonerplan-tostring
bnouwt
committed

Commits on Sep 23, 2024

Improve performance by caching hashcode.
bnouwt
committed

Commits on Sep 24, 2024

Make part of the matching algorithm parallel.
bnouwt
committed

Commits on Sep 27, 2024

Improved the performance of the announcing of SCs.
bnouwt
committed

Commits on Sep 30, 2024

Several improvements found while debugging.
bnouwt
committed