공주님 Presburger 산술을위한 무료 이론적 인 영사
지금 다운로드

공주님 순위 및 요약

공주님 태그

정리 입증하다 정리의 영사 정리를 증명하십시오 presburger 산술 영사관

공주님 설명

Presburger 산술을위한 무료 이론적 인 영사 공주님은 무료 및 오픈 소스 이론적 인 Presburger 산술을위한 프레지 버거 산술에 대한 이론적입니다. 이것은 공주가 곱셈없이 정수 산술의 문제에 대해 추론 할 수 있음을 의미합니다. 이러한 문제는 일부 수식이 모든 정수 또는 일부 정수를 유지하기로되어 있음을 표현하기 위해 임의의 정량화 물질을 포함 할 수 있습니다. 요구 사항 : · Java 1.5 이상 · 스칼라 버전 2.7 이상 컴파일러 이 릴리스에서는 새로운 기능 : · 몇 가지 버그가 수정되어 일부 최적화를 추가했습니다.

공주님 관련 소프트웨어