- p -
- PMAX : CrowdedChess
- PROP_BINARY : QCP , Queens
- PROP_CIRCUIT : Knights
- PROP_COUNT : MagicSequence
- PROP_CUMULATIVES : PerfectSquare
- PROP_CUSTOM : CarSequencing
- PROP_DECOMPOSE : CrowdedChess
- PROP_DISTINCT : QCP , Queens
- PROP_ELEMENT : Domino
- PROP_EXTENSIONAL : Domino , LangfordNumber
- PROP_EXTENSIONAL_CHANNEL : LangfordNumber
- PROP_GCC : MagicSequence
- PROP_MIXED : Queens
- PROP_NONE : SudokuInt
- PROP_REGULAR : CarSequencing
- PROP_REIFIED : PerfectSquare , Knights , LangfordNumber
- PROP_SAME : SudokuInt
- PROP_TUPLE_SET : CrowdedChess
- PROPAGATION_BOOLEAN : Pentominoes
- PROPAGATION_DFA : BlackHole
- PROPAGATION_INT : Pentominoes
- PROPAGATION_REIFIED : BlackHole
- PROPAGATION_TUPLE_SET : BlackHole