constraints - 解の投影

Question

MiniZinc に一連の変数のサブセットでソリューションを投影するように指示する可能性はありますか? または、変数のサブセットの評価に関して一意であるすべてのソリューションを列挙する他の方法はありますか?

FlatZinc アノテーションを MiniZinc で直接使用しようとしましたが、フラット化プロセスで define_var アノテーションがさらに追加され、アノテーションが無視されるため、機能しません。