'、次に' vs 'と' then 'Z3結合子

Question

、Z3 and-thenおよびthenと両方の有効な結合子。もしあれば、違いは何ですか？ and-thenは(help-tactic)から次のメッセージを表示します。

- (and-then <tactic>+) executes the given tactics sequencially. 

しかし、thenはどこでも定義されていないようです。

Answer 1

違いはありません。我々はZ3ソースツリーの"then"または"and-then"をgrepなら、私たちは、これらの文字列は一度だけ発生していることを見つけると、彼らは同義語だ：違いはありません

grep -rE '"and-then"|"then"' 
src/cmd_context/tactic_cmds.cpp:  if (cmd_name == "and-then" || cmd_name == "then")