1 Z3 이외의 선형 정수 산술을 위해 수량 한정 제거를 수행하는 다른 (여전히 지원되는) SMT 도구가 있습니까?선형 정수 산술에서 수량 한정자 제거 도구 감사합니다. 출처 2012-06-09 Egbert
1 Philipp Rümmer가 Princess으로 시도해 볼 수 있습니다. 수량 한정자 제거 기능을 지원하며 적극적으로 유지 관리됩니다. 출처 2012-06-10 12:04:07 Philippe