lingo
关注
分享
扫一扫
文章平均质量分 64
rrerre
这个作者很懒，什么都没留下…
展开
-
lingo sample code for a QP problem
model:sets: P/0,1,2,3,10/: pSize; P2P(P, P)/@file('e:/qali/pagesel/ham4.txt')/: distance; F/@file('e:/qali/pagesel/004a.gf.out')/: f原创 2011-09-08 11:17:54 · 1012 阅读 · 0 评论 -
lingo sample code for liveness analysis
model:sets: !F; V: vSize, vRead, vWrite,vStart, vDcost; U: uSize, uRead, uWrite; !F2V(F,V); !F2U(F,U): fInU; V2U(V,U): x, cost; V2V原创 2011-09-08 11:19:28 · 1543 阅读 · 0 评论