В Z3 2.x я использовал команду SMTLib2
(get-info statistics)
чтобы получить статистику запуска Z3. Используя Z3 3.2 я получаю
(error "line _ column _: invalid command argument, keyword expected")
для вышеупомянутого и до
(get-info :statistics)
Z3 отвечает
unsupported
Какой новый способ получения статистики (кроме параметра командной строки / st)?
<ч />
И пока мы на этом: страница параметров INI списки
(set-option :STATISTICS true)
как допустимая опция, но Z3 3.2 снова отвечает с
unsupported