Пакет: science-logic (1.14.6)

[ Источник: 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.

Другие пакеты, относящиеся к science-logic

• dep: science-config (= 1.14.6)

  Debian Science Project config package

• dep: science-tasks (= 1.14.6)

  Debian Science tasks for tasksel

• rec: agda

  функциональный язык программирования с зависимыми типами

• rec: boolector

  SMT solver for bit-vectors and arrays

• 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

  интерактивное программное средство доказательства теорем для логики высшего порядка (интерактивная среда и компилятор)

• 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

  Пакет недоступен

• 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

  theorem prover based on automata

• rec: picosat

  SAT solver with proof and core support

• rec: proofgeneral

  Пакет недоступен

• rec: sat4j

  эффективная библиотека SAT-решателей на Java

• rec: spass

  automated theorem prover for first-order logic with equality

• rec: toulbar2

  Пакет недоступен

• rec: why3

  Software verification platform

• rec: z3

  средство доказательства теорем от Microsoft Research

• sug: alt-ergo

  Пакет недоступен

• sug: coala

  Пакет недоступен

• sug: coinor-libcoinmp-dev

  Simple C API for COIN-OR Solvers Clp and Cbc -- development

• sug: cvc3

  Пакет недоступен

• sug: mace2

  Пакет недоступен

• sug: matita

  Пакет недоступен

• sug: prover9

  Пакет недоступен

• sug: why

  Пакет недоступен

Загрузка science-logic

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
all	10,0 Кб	30,0 Кб	[список файлов]