Use the partial-instances-multiobjective-optimization branch of alloy.