[ Source: debian-science ]
Package: science-logic (1.14.7)
Links for science-logic
Debian Resources:
Download Source Package debian-science:
Maintainers:
External Resources:
- Homepage [wiki.debian.org]
Similar packages:
pacchetti Debian Science per la logica
Questo metapacchetto fa parte del Debian Pure Blend "Debian Science" e installa i pacchetti relativi alla logica computazionale. Contiene strumenti per trasformazioni di formule, risolutori per formule specificate in varie logiche, sistemi di dimostrazione interattivi, ecc.
Other Packages Related to science-logic
|
|
|
|
-
- dep: science-config (= 1.14.7)
- pacchetto di configurazione per il progetto Debian Science
-
- dep: science-tasks (= 1.14.7)
- attività Debian Science per tasksel
-
- rec: agda
- linguaggio di programmazione funzionale tipizzato in modo dipendente
-
- rec: boolector
- risolutore SMT per vettori di bit e array
-
- rec: clasp
- risolutore di insiemi di risposte per apprendimento nogood pilotato dai conflitti
-
- rec: coinor-cbc
- risolutore Coin-or per programmazione intera mista branch-and-cut
-
- rec: coinor-symphony
- risolutore COIN-OR per programmi lineari interi misti
-
- rec: coq
- assistente alle dimostrazioni per logiche di ordine superiore (toplevel e compilatore)
-
- rec: cvc4
- dimostratore automatico di teoremi per problemi SMT
-
- rec: depqbf
- risolutore per formule booleane quantificate
-
- rec: drat-trim
- DART-trim satisfiability proof checker (binary utils)
-
- rec: gringo
- strumenti di grounding per programmi di logica (disgiuntiva)
-
- rec: hol-light
- dimostratore di teoremi HOL Light
-
- rec: hol88
- Higher Order Logic, immagine del sistema
-
- rec: kissat
- Keep it simple and clean bare metal SAT solver
-
- rec: lbt
- convertitore di formule LTL in automi di Büchi
-
- rec: maria
- analizzatore di raggiungibilità per reti ASN (Algebraic System Nets)
-
- rec: maude
- infrastruttura logica ad alte prestazioni
-
- rec: minisat
- risolutore per vincoli pseudo-booleani
-
- rec: mona
- dimostratore di teoremi basato su automi
-
- rec: picosat
- risolutore SAT con gestione di dimostrazione e nucleo
-
- rec: proofgeneral
- frontend generico per assistenti alla dimostrazione
-
- rec: sat4j
- libreria efficiente per solutori SAT in Java
-
- rec: spass
- verificatore automatico di teoremi per logica del primo ordine con uguaglianza
-
- rec: toulbar2
- ottimizzazione combinatoriale esatta per modelli grafici
-
- rec: why3
- piattaforma di verifica del software
-
- rec: z3
- dimostratore di teoremi di Microsoft Research
-
- sug: alt-ergo
- Package not available
-
- sug: coinor-libcoinmp-dev
- semplice API C per i risolutori Clp e Cbc di COIN-OR -- sviluppo
-
- sug: prover9
- Package not available
Download science-logic
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 10.1 kB | 31.0 kB | [list of files] |