Package: science-logic (1.14.7)

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

  Debian Science Project - konfigurationspakke

• dep: science-tasks (= 1.14.7)

  Debian Science - opgaver for tasksel

• rec: agda

  Afhængighedsindtastet funktionelt programmeringssprog

• 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: drat-trim

  Kontrol af tilfredshedsbevis for DART-trim - binære redskaber

• rec: gringo

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

• rec: hol-light

  HOL Light - læresætningsbevis

• rec: hol88

  Higher Order Logic - systemaftryk

• rec: kissat

  Keep it simple and clean bare metal SAT solver

• 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: proofgeneral

  Generisk brugerflade for bevisassistenter

• rec: sat4j

  Effektivt bibliotek af SAT-løsere i Java

• rec: spass

  Automatiseret læresætningsbeviser for første orden logik med ligestilling

• rec: toulbar2

  Præcis kombinatorisk optimering for grafiske modeller

• rec: why3

  Programverifikationsplatform

• rec: z3

  Læresætningsbeviser fra Microsoft Research

• sug: alt-ergo

  Package not available

• sug: coinor-libcoinmp-dev

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

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