В соответствии со списком параметров INI должен быть логический флаг WARNING, но установка его в Z3 3.2 (x64_mt) через
(set-option :WARNING false)
дает unsupported для обоих написаний WARNING и warning.
Документы устарели или я здесь что-то не так делаю?
[EDIT]
В соответствии с примечаниями к выпуску Z3 2.17 опция должна быть установлена с помощью
(set-option WARNING <flag>)
но пытается
(set-option WARNING false)
1025 * выходы *
(error "line 1 column 13: invalid command argument, keyword expected")