Package: science-logic (1.15) Debian Science Logic packages Other Packages Related to science-logic: [agda ]
dependently typed functional programming language
[boolector ]
SMT solver for bit-vectors and arrays
[clasp ]
conflict-driven nogood learning answer set solver
[coinor-cbc ]
Coin-or branch-and-cut mixed integer programming solver
[coinor-symphony ]
COIN-OR solver for mixed-integer linear programs
[coq ]
proof assistant for higher-order logic (toplevel and compiler)
[cvc4 ]
automated theorem prover for SMT problems
[depqbf ]
solver for quantified boolean formulae
[drat-trim ]
DART-trim satisfiability proof checker (binary utils)
[gringo ]
grounding tools for (disjunctive) logic programs
[hol-light ]
HOL Light theorem prover
[hol88 ]
Higher Order Logic, system image
[kissat ]
Keep it simple and clean bare metal SAT solver
[lbt ]
converts from LTL formulas to Büchi automata
[maria ]
reachability analyzer for Algebraic System Nets
[maude ]
high-performance logical framework
[minisat+ ]
solver for pseudo-Boolean constraints
[mona ]
theorem prover based on automata
[picosat ]
SAT solver with proof and core support
[proofgeneral ]
generic frontend for proof assistants
[sat4j ]
Efficient library of SAT solvers in Java
[spass ]
automated theorem prover for first-order logic with equality
[toulbar2 ]
Exact combinatorial optimization for Graphical Models
[why3 ]
Software verification platform
[z3 ]
theorem prover from Microsoft Research
Usa questo pacchetto OpenFactory può avviare questo sistema operativo in una macchina virtuale del browser, o iniziare una costruzione che include il nome nativo del pacchetto di questo record.
Versioni, suite e repository Ogni riga è metadato dell'indice pacchetti per una versione, architettura, suite e repository. Nomi, URL e dimensioni arrivano dalla fonte; un link è un punto di recupero mutabile, non una redistribuzione OpenFactory.
Checksum e date di osservazione For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.
1.15 / all Observed Sep 1, 2026 to Sep 1, 2026
Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.
Source-reported sha256: eaab496a0fba5dbfabd37e5c77f9fac413edb381b04ddd411df7d955f382dde8
After downloading that exact artifact, compare its bytes with the source-reported expected digest:
printf '%s %s\n' 'eaab496a0fba5dbfabd37e5c77f9fac413edb381b04ddd411df7d955f382dde8' 'science-logic_1.15_all.deb' | sha256sum --check --strict -A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.
Field source: Debian 13 (Trixie) main amd64 revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
1.15 / all Observed Sep 1, 2026 to Sep 1, 2026
Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.
Source-reported sha256: eaab496a0fba5dbfabd37e5c77f9fac413edb381b04ddd411df7d955f382dde8
After downloading that exact artifact, compare its bytes with the source-reported expected digest:
printf '%s %s\n' 'eaab496a0fba5dbfabd37e5c77f9fac413edb381b04ddd411df7d955f382dde8' 'science-logic_1.15_all.deb' | sha256sum --check --strict -A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.
Field source: Debian 13 (Trixie) main arm64 revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
Fonti e provenienza Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.
Authoritative source; repository metadata signature verified, revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record
Signed-object SHA-256 98b25b5cd185c59d34aa6e4c3e9b5b8f01bbe9d104fe2dcfbcd30dc0a14a59ed
Signer fingerprint 4CB50190207B4758A3F73A796ED0E7B82643E131
Keyring revision debian-archive-keyring.gpgSHA-256 506b815cbb32d9b6066b4a2aa524071e071761e7e7f68c3ac74f3061ba852017
Tool and policy gpgv (GnuPG) 2.4.9
Verification time Sep 1, 2026 Signed Release → package-index hash linkage Path: main/binary-amd64/Packages.xz3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b33ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
Authoritative source; repository metadata signature verified, revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record
Signed-object SHA-256 98b25b5cd185c59d34aa6e4c3e9b5b8f01bbe9d104fe2dcfbcd30dc0a14a59ed
Signer fingerprint 4CB50190207B4758A3F73A796ED0E7B82643E131
Keyring revision debian-archive-keyring.gpgSHA-256 506b815cbb32d9b6066b4a2aa524071e071761e7e7f68c3ac74f3061ba852017
Tool and policy gpgv (GnuPG) 2.4.9
Verification time Sep 1, 2026 Signed Release → package-index hash linkage Path: main/binary-arm64/Packages.xz753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
