Candidates for logical-constraints

No candidates exist for logical-constraints. Upload one for this or another package?