Searched refs:cplex (Results 1 - 5 of 5) sorted by relevance
| /seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
| H A D | graph_to_graph.py | 23 import cplex namespace
79 stripped_ilp = cplex.stripFooter(current_ilp)
|
| H A D | cplex.py | 16 #this cplex footer ends a .ilp file and does
46 '''call cplex on the specified ilp file'''
47 cplex = 'cplex'
53 p = subprocess.Popen(cplex,stdin=f_ilp,stdout=subprocess.PIPE,stderr=subprocess.PIPE)
54 print 'cplex called'
59 print 'cplex terminated'
78 assert match, "Failed to regex cplex output"
170 print 'options: --x: run cplex --f: strip footer'
179 ret = cplex(ilp_f_nam
[all...] |
| H A D | auto_infea.py | 14 import cplex namespace
46 ilp_nofooter = cplex.stripFooter(dir_name + '/%s.imm.ilp' % entry_point_function)
|
| H A D | bench.py | 23 import cplex namespace
58 #given the imm, call chronos and cplex to return (wcet,chronos_out,chornos_err)
73 return float(cplex.cplexSolve(imm_file_name+'.ilp')),out,err
|
| H A D | conflict.py | 18 import cplex namespace
458 #cplex.endProblem(fout,log_file_name='./new-gcc-O2.imm.sol')
459 cplex.endProblem(fout,sol_file_name)
466 cplex.solveProblem(fout,presolve_off=False)
511 cplex_ret = cplex.cplexSolve(new_ilp,silent=silent_cplex,sol_file=sol_file)
526 generate a new conflict file and call cplex directly'''
|
Completed in 43 milliseconds