Z3 C++ API의 어떤 부분이 아직 지원됩니까?

Question

일부 Z3 API가 사용되지 않음으로 표시됩니다. 레오나르도 (Leonardo)에 따르면 2012 년에 더 많은 API가 폐기 될 것이라고 언급했습니다 (관련 : contexts are in maintenance mode). API의 어떤 부분을 사용해야합니까?

this page은 C API의 활성 부분에 대한 좋은 안내서입니까? this page과 C++도 같습니까?

나는 알고있는 누군가로부터 두 개의 예스를 찾고 있다고 생각하지만, 더 미묘한 차이가 있다면 나는 모두 귀입니다.

Answer 1

예, C API의 일부 부분은 지원 중단으로 표시되었습니다. 그들은 this page에 나열되어 있습니다. 두 개의 관련 그룹은 이론 플러그인 API 및 이전 솔버 API입니다.