Článek uvádí do programování s omezujícími podmínkami. Podává přehled základních technik pro splňování omezujících podmínek a ukazuje oblasti použití.
