Çözüldü Çözücü Solver ile aynı olmama kısıtı ekleme

Arkadaşlar herkese merhaba ekteki dosyada çözücü ile hangi kişinin 0 1 alacağını hesaplatıyorum ancak şunu yapmak istiyorum aynı kişi aynı eğitim türlerini alamasın yani 1 1 1 olmasın ya da 1 0 1 1 1 0 şeklinde bir çözüm olmasın tüm eğitimler için farklı kişi seçilsin kısıtını nasıl ekleyebilirim? Şimdiden teşekkür ederim.