17 lines
373 B
Modula-2
17 lines
373 B
Modula-2
#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; |