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