INI パラメータのリストによると、ブール値の WARNING フラグが存在するはずですが、Z3 3.2 (x64_mt) でそれを設定する
(set-option :WARNING false)
とunsupportedの両方のつづりが得られます。WARNINGwarning
ドキュメントは古くなっていますか、それともここで何か間違っていますか?
[編集]
Z3 2.17のリリース ノートによると、オプションは次の方法で設定する必要があります。
(set-option WARNING <flag>)
しかし、しようとしている
(set-option WARNING false)
収量
(error "line 1 column 13: invalid command argument, keyword expected")