alloy - Alloyでコスト最小化は可能ですか?

Question

abstract sig Item {
    price: one Int
}

one sig item1 extends Item {} { 
    price = 1
}

one sig item2 extends Item {} { 
    price = 2
}

one sig item3 extends Item {} { 
    price = 3
}

one sig item4 extends Item {} { 
    price = 4
}

// .. 同様に項目 4 から 10

選択したアイテムの価格の合計が最小になるように、n (n = 1 ～ 10) のアイテムを選択することはできますか?

n=3 アイテムの場合、結果は item1、item2、item3 になります。

可能であれば、このことを Alloy でどのように書くのですか?

親切な返信をありがとうございました。