summaryrefslogtreecommitdiff
path: root/prolog/problems/clp_r/linear_opt_3/common.py
blob: 95d7ea223efc92817696a5bd0fac2ebd2fa5aa77 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
id = 159
group = 'clp_r'
number = 63
visible = True
facts = None

solution = '''\
linear_opt(X, Y, MaxE) :-
    { X >= 0, Y >= 0, X =< 5,
      X+Y =< 7, X+2*Y >= 4, Y =< X+5,
      MaxE = -0.4*X+3.2*Y },
     maximize(MaxE).'''