ConGuess

Вырашыце задачы задавальнення абмежаванняў

У ConGuess вам трэба вырашыць як мага больш праблем задавальнення абмежаванняў. Вы павінны прысвоіць сапраўднае значэнне кожнай з паказаных зменных s.t. усе абмежаванні выкананы.
Дадатак выкарыстоўвае форму штучнага інтэлекту пад назвай Constraint Programming для стварэння праблем і праверкі рашэння.