Labels

Rule prerequisite not met: source or target not implemented

Something isn't working

Need some human feedback and expert validation.

Improvements or additions to documentation

New feature or request

An issue passed all checks.

Good for newcomers

Extra attention is needed

Incompatible with dims() discrete finite-domain framework

Reduction doesn't cover all source instances (Rule Check 5)

wait, wait, wait, do I really need this?

A model problem to be implemented.

Issue requires consulting the original paper (paywalled/unavailable)

PSPACE-complete problem, out of scope for NP-hard reductions

A new reduction rule to be added.