Какие части API Z3 C ++ все еще поддерживаются?

Я вижу, что некоторые из Z3 API помечены как устаревшие. Я также вижу некоторые комментарии Леонардо, что больше API было удалено в 2012 году (связанные: контексты в режиме обслуживания). Какие части API я должен использовать?

Является эта страница хорошее руководство по активным частям C API? То же самое для эта страница а C ++?

Я думаю, что я просто ищу два «да» от кого-то из знающих, но если это более нюансировано, то я весь в ушах.