Searched refs:infeasible (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dcplex.py13 infeasible = "Integer infeasible." variable
59 if not expect_unbounded and (ret or (infeasible in err or infeasible in out) or (unbounded in err or unbounded in out)):
61 print 'note that infeasible/unbounded can mean the other, turn off the presolver to investiage which is the case'
69 if re.search(unbounded,line) or re.search(infeasible, line):
/seL4-l4v-master/HOL4/src/HolSmt/
H A DLibrary.sml42 once. However, this is infeasible for long streams (especially

Completed in 79 milliseconds