Krishnan Govindraj

To add the side of explanations to the problem, so we don't miss any spots when we're refactoring explainable to be more intuitive: Currently, explainability is a property of a...

Looks like this is caused by type inference not adding the offending variable (The `$x` inside the not) to the traversal. The `$x` outside the not is added via `restrictTypes`...

Similar to #6322, may be worth solving together

We have added a documentation page on this: https://docs.vaticle.com/docs/running-typedb/install-and-run#apt-conflicts This remains an issue as it still happens.

This one is a reminder for dmitrii to implement it in rust. The java change will get deleted in his merge.

Blocked: The sudoku tests will fail till it's run against the improved reasoner planner.

@flyingsilverfin > Is it still an interpretable/useful/meaningful sudoku solver if we write the problem statement with permutation generator without a type for row and column etc? I imagine we can...