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

id = 159
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).'''