Nem lineáris játék teljesíthetőségének vizsgálata programozott megoldásokkal