Package: science-logic (1.10)

[ Source: debian-science  ]

Debian Science - pakker til logik

Denne metapakke er en del af Debian Pure Blend »Debian Science« og den installerer pakker relateret til beregningsmæssig logik. Den indeholder transformationsværktøjer til formler, formelløsere specificeret i diverse logik, interaktive bevissystemer etc.

Other Packages Related to science-logic

• dep: science-config (= 1.10)

  Debian Science Project - konfigurationspakke

• dep: science-tasks (= 1.10)

  Debian Science - opgaver for tasksel

• rec: agda

  Afhængighedsindtastet funktionelt programmeringssprog

• rec: alt-ergo

  Automatisk teorem-bevisfører dedikeret til programverifikation

• rec: boolector

  SMT-løser for bit-vektorer og arrayer

• rec: clasp

  Konfliktdrevet nogood-løsningsprogram for svarsæt til indlæring

• rec: coinor-cbc

  Coin-or branch-and-cut blandet heltals programmeringsløser

• rec: coinor-symphony

  COIN-OR-løser for blandede-heltals lineære programmer

• rec: coq

  Bevisassistent for højere ordens logik - topniveau og kompiler

• rec: cvc4

  Automatiseret læresætningsbeviser for SMT-problemer

• rec: depqbf

  Beviser for kvantificerede booleske formler

• rec: gringo

  Grundlæggende værktøjer for (disjunktive) logikprogrammer

• rec: hol88

  Higher Order Logic - systemaftryk

• rec: lbt

  konverterer fra LTL-formler til Büchi-automata

• rec: maria

  tilgængelighedsanalyseprogram for Algebraic System Nets

• rec: maude

  Højtydende logisk ramme

• rec: minisat+

  Løser for pseudo-booleske begrænsninger

• rec: mona

  teorem-bevisførelse baseret på automat

• rec: picosat

  SAT-løser med proof- og core-understøttelse

• rec: prover9

  bevisudførelse for teoremer og oprettelsesmodel for modmodel

• rec: sat4j

  Effektivt bibliotek af SAT-løsere i Java

• rec: toulbar2

  Præcis kombinatorisk optimering for grafiske modeller

• rec: why3

  Programverifikationsplatform

• rec: z3

  Læresætningsbeviser fra Microsoft Research

• sug: coala

  Package not available

• sug: coinor-libcoinmp-dev

  Simpel C-API for COIN-OR Solvers Clp and Cbc - udvikling

• 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]