1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
|
# -------------------------------------------------------------------------
# Copyright (c) 2020 AT&T Intellectual Property
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
#
# -------------------------------------------------------------------------
#
import json
from datetime import datetime
from pymzn import Status, minizinc, cbc, gecode, chuffed, or_tools
from osdf.utils.file_utils import delete_file_folder
error_status_map = {
Status.INCOMPLETE: "incomplete",
Status.COMPLETE: "complete",
Status.UNSATISFIABLE: "unsatisfiable",
Status.UNKNOWN: "unknown",
Status.UNBOUNDED: "unbounded",
Status.UNSATorUNBOUNDED: "unsat_or_unbounded",
Status.ERROR: "error"
}
solver_dict = {
'cbc': cbc,
'geocode': gecode,
'chuffed': chuffed,
'cp': chuffed,
'or_tools': or_tools
}
def map_status(status):
return error_status_map.get(status, "failed")
def solve(request_json, mzn_content):
req_info = request_json['requestInfo']
opt_info = request_json['optimInfo']
try:
mzn_solution = mzn_solver(mzn_content, opt_info)
response = {
'transactionId': req_info['transactionId'],
'requestID': req_info['requestID'],
'requestStatus': 'done',
'statusMessage': map_status(mzn_solution.status),
'solutions': mzn_solution[0] if mzn_solution else {}
}
return 200, json.dumps(response)
except Exception as e:
response = {
'transactionId': req_info['transactionId'],
'requestID': req_info['requestID'],
'requestStatus': 'failed',
'statusMessage': 'Failed due to {}'.format(e)
}
return 400, json.dumps(response)
def mzn_solver(mzn_content, opt_info):
args = opt_info['solverArgs']
solver = get_mzn_solver(args.pop('solver'))
mzn_opts = dict()
try:
file_name = persist_opt_data(opt_info)
mzn_opts.update(args)
return minizinc(mzn_content, file_name, **mzn_opts, solver=solver)
finally:
delete_file_folder(file_name)
def persist_opt_data(opt_info):
if opt_info['optData'].get('json'):
data_content = json.dumps(opt_info['optData']['json'])
file_name = '/tmp/optim_engine_{}.json'.format(datetime.timestamp(datetime.now()))
elif opt_info['optData'].get('text'):
data_content = opt_info['optData']['text']
file_name = '/tmp/optim_engine_{}.dzn'.format(datetime.timestamp(datetime.now()))
with open(file_name, "wt") as data:
data.write(data_content)
return file_name
def get_mzn_solver(solver):
return solver_dict.get(solver)
|
