בעיית סיפוק אילוצים – שפות אחרות