2
A
답변
2
우리는 Z3 2.14에 z3_dbg.dll을 포함하는 것을 중단했습니다. 주된 동기는 배포 크기를 줄이는 것이 었습니다. z3_dbg.dll은 꽤 커서 대부분의 사용자가 사용하지 않습니다. 즉, 우리는이 DLL이 Z3 API 및/또는 Z3 이론 플러그인 위에 응용 프로그램을 개발할 때 유용하다는 것을 알고 있습니다. Z3 배포 패키지에 다시 포함 시키거나 별도의 디버그 배포 패키지를 만듭니다.
관련 문제
- 1. "프로필"패키지는 파이썬 표준 배포판의 일부입니까?
- 2. 리눅스에서 리눅스 배포판의 이름을 찾으십시오
- 3. 파이썬 Dirichlet 배포판의 PDF 계산
- 4. std :: string은 STL의 일부입니까?
- 5. 반환 유형이 지우기의 일부입니까?
- 6. alloca는 C++ 표준의 일부입니까?
- 7. boost.log는 공식적으로 부스트의 일부입니까?
- 8. hash_map은 STL의 일부입니까?
- 9. 비 데이터 클래스 모델의 일부입니까?
- 10. Java - 다른 파일 경로의 일부입니까?
- 11. 접근성은 귀사의 개발 프로세스의 일부입니까?
- 12. Boost.Locale은 공식적인 부스트 릴리스의 일부입니까?
- 13. List.ForEach는 기술적으로 LINQ의 일부입니까, 아니라?
- 14. 인터페이스가 객체 계층 구조의 일부입니까?
- 15. 다중 스레드는 대기열 계약의 일부입니까?
- 16. ATLComTime.h는 재배포 가능 항목의 일부입니까?
- 17. JCE는 Java SE 6의 일부입니까?
- 18. 스레드가 표준 C++의 일부입니까?
- 19. 우분투 미니 배포판의 창 장식이있는 X11
- 20. 공식 Eclipse 배포판의 수정 된 버전을 만들려면
- 21. 64 비트 OpenSuse 배포판의 Lib 디렉토리
- 22. virtualenv가 배포판의 마지막 버전을 사용하도록하는 방법은 기본적으로?
- 23. GWT + eclipse, 어떤 파일이 내 소스의 일부입니까?
- 24. ADBD 소스 코드가 커널 또는 AOSP의 일부입니까?
- 25. 중첩 된 함수는 C 표준의 일부입니까?
- 26. Java PermGen 공간이 전체 VM 메모리의 일부입니까?
- 27. ASP.net 웹 API가 ASP.net MVC 4의 일부입니까?
- 28. ASP.NET AJAX 4.0은 ASP.NET 4.0의 일부입니까?
- 29. MVC Contrib Grid는 Asp.Net MVC 2.0의 일부입니까?
- 30. Can. (마침표)는 URL 경로 부분의 일부입니까?