Package: science-logic (1.14.7)

[ 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.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

  Package not available

• 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

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	10.1 kB	31.0 kB	[list of files]