Begin
This commit is contained in:
17
gyakorlatok/fesztival.mod
Normal file
17
gyakorlatok/fesztival.mod
Normal file
@ -0,0 +1,17 @@
|
||||
#Fesztival
|
||||
|
||||
var F1 binary;
|
||||
var F2 binary;
|
||||
var F3 binary;
|
||||
var F4 binary;
|
||||
var F5 binary;
|
||||
|
||||
s.t. Haggard: F1 + F3 + F4 >= 1;
|
||||
s.t. Stratovarius: F1 + F2 + F3 + F5>= 1;
|
||||
s.t. Epica: F1 + F2 + F4 + F5 >= 1;
|
||||
s.t. Dalriada: F3 + F5 >= 1;
|
||||
s.t. Apocalyptica: F4 >= 1;
|
||||
s.t. Liva: F2 + F3 + F4 + F5 >= 1;
|
||||
s.t. Eluveitie: F3 + F5 >= 1;
|
||||
|
||||
minimize NumberOfFestivals: F1 + F2 + F3 + F4 + F5;
|
Reference in New Issue
Block a user