summaryrefslogtreecommitdiff
path: root/prolog/problems/clp_r/linear_opt_3/common.py
blob: 35f582d5eeeeb73b65361ef5b8c9af2b96e2cd44 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
# coding=utf-8

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).'''