all options
jessie  ] [  stretch  ] [  sid  ]
[ Source: cvc3  ]

Package: cvc3 (2.4.1-5.2 and others)

Links for cvc3

Screenshot

Debian Resources:

Download Source Package cvc3:

Maintainer:

External Resources:

Similar packages:

SMT 문제를 위한 자동 정리 프루버

CVC3은 충족성 모듈 이론(SMT) 문제에 대한 자동 정리 프루버입니다. 다수의 내 장된 논리 이론 및 그 조합에서 일차 공식의 타당성 (또는 이중성, 만족성)을 입 증하는데 사용할 수 있습니다.

CVC3는 스탠포드 대학에서 SVC 시스템으로 시작된, 인기있는 일련의 SMT 프루버 의 마지막 성과물입니다. 특히 전버전인 CVS Lite의 코드를 기반으로 만들었습니 다. 고수준 디자인은 Sammy 프루버의 디자인을 따릅니다.

CVC3은 다형성 타입을 갖는 1차 로직 버젼과 함께 작동하며 e아므과 같은 다양한 기능을 포함합니다:

 * 몇몇 내장 기본 이론: 유리수 및 정수 선형 산술, 배열, 튜플,
   레코드, 유도 데이타 유형, 비트 벡터, 해석되지 않는 함수
   기호에 대한 등식;
 * 한정사 지원;
 * 대화형 텍스트 기반 인터페이스;
 * 다른 시스템에 임베이드되는 풍부한 C, C++, JAVA API들
 * 증명 및 모델 생성 기능;
 * 술어 서브타입;
 * 본질적으로 연구 또는 상업적 사용에 대해 제한이없음
   (라이센스 참조).

이 패키지는 CVC3 명령행 프로그램을 포함합니다.

Tags: Implemented in: C++, User Interface: Command Line, Role: Program

Other Packages Related to cvc3

  • depends
  • recommends
  • suggests
  • enhances

Download cvc3

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 2.4.1-5.2 20.0 kB69.0 kB [list of files]
amd64 2.4.1-5.2 19.8 kB65.0 kB [list of files]
arm64 2.4.1-5.2 19.0 kB61.0 kB [list of files]
armel 2.4.1-5.2 18.2 kB56.0 kB [list of files]
armhf 2.4.1-5.2 18.3 kB52.0 kB [list of files]
hppa (unofficial port) 2.4.1-5.2 20.4 kB65.0 kB [list of files]
i386 2.4.1-5.2 20.9 kB64.0 kB [list of files]
m68k (unofficial port) 2.4.1-5.2 20.7 kB69.0 kB [list of files]
mips64el 2.4.1-5.2 19.3 kB67.0 kB [list of files]
mipsel 2.4.1-5.2 19.3 kB66.0 kB [list of files]
powerpcspe (unofficial port) 2.4.1-5.1 19.8 kB92.0 kB [list of files]
ppc64 (unofficial port) 2.4.1-5.2 20.6 kB94.0 kB [list of files]
ppc64el 2.4.1-5.2 20.2 kB93.0 kB [list of files]
riscv64 (unofficial port) 2.4.1-5.2 19.1 kB57.0 kB [list of files]
s390x 2.4.1-5.2 19.1 kB65.0 kB [list of files]
sh4 (unofficial port) 2.4.1-5.2 22.6 kB60.0 kB [list of files]
sparc64 (unofficial port) 2.4.1-5.2 18.4 kB63.0 kB [list of files]