[ Source: debian-science ]
Package: science-logic (1.10)
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.10)
- pacchetto di configurazione per il progetto Debian Science
-
- dep: science-tasks (= 1.10)
- attività Debian Science per tasksel
-
- rec: agda
- linguaggio di programmazione funzionale tipizzato in modo dipendente
-
- rec: alt-ergo
- dimostratore automatico di teoremi dedicato alla verifica dei programmi
-
- 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
- COIN-OR solver for mixed-integer linear programs
-
- rec: coq
- assistente alle dimostrazioni per logiche di ordine superiore (toplevel e compilatore)
-
- rec: cvc4
- dimostratore automatico di teoremi per problemi SMT
-
- rec: depqbf
- solver for quantified boolean formulae
-
- rec: gringo
- strumenti di grounding per programmi di logica (disgiuntiva)
-
- rec: hol88
- Higher Order Logic, immagine del sistema
-
- 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: prover9
- strumento per dimostrazione di teoremi e generazione di contromodelli
-
- rec: sat4j
- libreria efficiente per solutori SAT in Java
-
- rec: toulbar2
- ottimizzazione combinatoriale esatta per modelli grafici
-
- rec: why3
- piattaforma di verifica del software
-
- rec: z3
- dimostratore di teoremi di Microsoft Research
-
- sug: coala
- Package not available
-
- sug: coinor-libcoinmp-dev
- Simple C API for COIN-OR Solvers Clp and Cbc -- development
-
- sug: cvc3
- Package not available
-
- sug: hol-light
- Package not available
-
- sug: mace2
- Package not available
-
- sug: matita
- Package not available
-
- sug: proofgeneral
- Package not available
-
- sug: spass
- Package not available
-
- sug: why
- Package not available
Download science-logic
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 18.0 kB | 38.0 kB | [list of files] |