assert - Microsoft Z3 命名アサーション

Question

unsat コアを生成できるように、z3 モデルでいくつかのアサーションに名前を付ける必要があります。

次のように手動でこれを行うことができます：

(assert (! (assertion) :named x))

.NET API を直接使用して実行する必要があります。

助けはありますか？