template mcdp { provides lift [N] requires power [W] requires cost [USD] }
Templatized │ provides lift SB(≥0) N │ requires power SB(≥0) W │ │ requires cost SB(≥0) USD └ DP_True SB(≥0) N ⇸ SB(≥0)×SB(≥0) ⟨W,USD⟩ val = * > () true
hel1-z7-prod-editor-1 Restart page