[ buster ]
[ Source: ladr ]
Package: ladr4-apps (0.0.200911a-2.1 and others)
Links for ladr4-apps
Debian Resources:
Download Source Package ladr:
Maintainer:
External Resources:
- Homepage [www.cs.unm.edu]
Similar packages:
LADR 공제 라이브러리, 기타 어플리케이션
LADR (Automated Deduction Research 라이브러리)는 정리 증명계를 구축하는데 사용되는 라이브러리입니다. 다른 유용한 루틴들 중에서 LADR은 조항에 대한 해 석 및 매개 변수화와 같은 추론 규칙 적용 기능을 제공합니다. LADR은 prover9 정리 증명계와, mace4 카운터모델 생성기가 사용합니다.
이 패키지는 기타 LADR 어플리케이션을 제공합니다.
Other Packages Related to ladr4-apps
|
|
|
|
-
- dep: libc6 (>= 2.17) [arm64]
- GNU C 라이브러리: 공유 라이브러리
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.7) [not arm64]
-
- dep: libladr4 (>= 0.0.200902a)
- the LADR deduction library
-
- dep: python
- 대화형 고급 객체 지향 언어 (파이선2 버젼)
-
- rec: prover9-doc (<< 0.0.200902b)
- documentation for Prover9 and associated programs
- rec: prover9-doc (>> 0.0.200902a)
Download ladr4-apps
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 0.0.200911a-2.1+b2 | 156.1 kB | 991.0 kB | [list of files] |
| arm64 | 0.0.200911a-2.1+b2 | 127.0 kB | 961.0 kB | [list of files] |
| armhf | 0.0.200911a-2.1+b2 | 129.9 kB | 739.0 kB | [list of files] |
| i386 | 0.0.200911a-2.1+b2 | 152.9 kB | 1,015.0 kB | [list of files] |