Package: science-logic (1.14.6)

[ Source: debian-science  ]

Debian Science Logic packages

This metapackage is part of the Debian Pure Blend "Debian Science" and installs packages related to Computational Logic. It contains formula transformation tools, solvers for formulas specified in various logics, interactive proof systems, etc.

Other Packages Related to science-logic

• dep: science-config (= 1.14.6)

  pacote de configuração do projeto Debian Science

• dep: science-tasks (= 1.14.6)

  tarefas do Debian Science para o tasksel

• rec: agda

  linguagem de programação funcional com tipagem dependente

• rec: boolector

  resolvedor SMT para vetores e matrizes de bits

• rec: clasp

  conflict-driven nogood learning answer set solver

• rec: coinor-cbc

  Coin-or branch-and-cut mixed integer programming solver

• rec: coinor-symphony

  COIN-OR solver for mixed-integer linear programs

• rec: coq

  proof assistant for higher-order logic (toplevel and compiler)

• rec: cvc4

  automated theorem prover for SMT problems

• rec: depqbf

  solver for quantified boolean formulae

• rec: gringo

  grounding tools for (disjunctive) logic programs

• rec: hol-light

  Package not available

• rec: hol88

  Higher Order Logic, system image

• rec: lbt

  converts from LTL formulas to Büchi automata

• rec: maria

  reachability analyzer for Algebraic System Nets

• rec: maude

  high-performance logical framework

• rec: minisat+

  solver for pseudo-Boolean constraints

• rec: mona

  verificador de teoremas baseado em autômatos

• rec: picosat

  SAT solver with proof and core support

• rec: proofgeneral

  Package not available

• rec: sat4j

  biblioteca eficiente de resolvedores SAT em Java

• rec: spass

  automated theorem prover for first-order logic with equality

• rec: toulbar2

  Package not available

• rec: why3

  Software verification platform

• rec: z3

  theorem prover from Microsoft Research

• sug: alt-ergo

  Package not available

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

  Package not available

• sug: matita

  Package not available

• sug: prover9

  Package not available

• sug: why

  Package not available

Download science-logic

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	10.0 kB	30.0 kB	[list of files]