[ Pakiet źródłowy: eprover ]
Pakiet: eprover (3.2.5+ds-1 i inne)
Odnośniki dla eprover
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego eprover:
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [eprover.org]
Podobne pakiety:
Narzędzia do dowodzenia twierdzeń za pomocą równań
Ten pakiet udostępnia narzędzia do dowodzenia twierdzeń za pomocą równań: dowód będzie poszukiwany na podstawie specyfikacji matematycznej w wielokrotnie sortowanej logice pierwszego rzędu z równością i hipotezą lub przypuszczeniem.
Inne pakiety związane z eprover
|
|
|
|
-
- dep: libc6 (>= 2.34) [nie alpha, ia64, loong64, sh4]
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
- dep: libc6 (>= 2.40) [loong64, sh4]
-
- dep: libc6.1 (>= 2.34) [alpha]
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6.1-udeb
- dep: libc6.1 (>= 2.37) [ia64]
-
- dep: picosat (>= 959)
- SAT solver with proof and core support
Pobieranie eprover
| Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|---|
| alpha (port nieoficjalny) | 3.2.5+ds-1 | 908,4 KiB | 10 673,0 KiB | [lista plików] |
| amd64 | 3.2.5+ds-1 | 1 021,5 KiB | 9 238,0 KiB | [lista plików] |
| arm64 | 3.2.5+ds-1 | 904,2 KiB | 9 327,0 KiB | [lista plików] |
| armel | 3.2.5+ds-1 | 697,8 KiB | 7 624,0 KiB | [lista plików] |
| armhf | 3.2.5+ds-1 | 712,8 KiB | 5 717,0 KiB | [lista plików] |
| hppa (port nieoficjalny) | 3.2.5+ds-1 | 807,3 KiB | 8 252,0 KiB | [lista plików] |
| i386 | 3.2.5+ds-1 | 1 020,2 KiB | 9 767,0 KiB | [lista plików] |
| ia64 (port nieoficjalny) | 3.0.03+ds-1 | 1 492,3 KiB | 22 244,0 KiB | [lista plików] |
| loong64 (port nieoficjalny) | 3.2.5+ds-1 | 972,2 KiB | 10 255,0 KiB | [lista plików] |
| m68k (port nieoficjalny) | 3.2.5+ds-1 | 649,3 KiB | 7 013,0 KiB | [lista plików] |
| mips64el | 3.2.5+ds-1 | 952,7 KiB | 10 682,0 KiB | [lista plików] |
| ppc64 (port nieoficjalny) | 3.2.5+ds-1 | 1 008,0 KiB | 13 055,0 KiB | [lista plików] |
| ppc64el | 3.2.5+ds-1 | 1 012,3 KiB | 12 080,0 KiB | [lista plików] |
| riscv64 | 3.2.5+ds-1 | 972,2 KiB | 7 780,0 KiB | [lista plików] |
| s390x | 3.2.5+ds-1 | 926,2 KiB | 10 499,0 KiB | [lista plików] |
| sh4 (port nieoficjalny) | 3.2.5+ds-1 | 675,6 KiB | 6 502,0 KiB | [lista plików] |
| sparc64 (port nieoficjalny) | 3.2.5+ds-1 | 736,5 KiB | 15 055,0 KiB | [lista plików] |
| x32 (port nieoficjalny) | 3.2.5+ds-1 | 973,6 KiB | 8 531,0 KiB | [lista plików] |