制約充足 (せいやくじゅうそく) — constraint satisfaction | Kumi Dictionary