Package: science-logic (1.10)

[ Source: debian-science  ]

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

  risolutore per formule booleane quantificate

• 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

  semplice API C per i risolutori Clp e Cbc di COIN-OR -- sviluppo

• 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

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	18.0 kB	38.0 kB	[list of files]