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

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

  Debian Science Project config package

• dep: science-tasks (= 1.14.7)

  Debian Science tasks for tasksel

• rec: agda

  dependently typed functional programming language

• 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

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

  DART-trim satisfiability proof checker (binary utils)

• rec: gringo

  grounding tools for (disjunctive) logic programs

• rec: hol-light

  HOL Light theorem prover

• rec: hol88

  Higher Order Logic, system image

• rec: kissat

  Keep it simple and clean bare metal SAT solver

• 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

  generic frontend for proof assistants

• rec: sat4j

  Efficient library of SAT solvers in Java

• rec: spass

  automated theorem prover for first-order logic with equality

• rec: toulbar2

  Exact combinatorial optimization for Graphical Models

• rec: why3

  Software verification platform

• rec: z3

  theorem prover from Microsoft Research

• sug: alt-ergo

  Пакетът не е наличен

• sug: coinor-libcoinmp-dev

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

• sug: prover9

  Пакетът не е наличен

Изтегляне на science-logic

Изтегляне за всички налични архитектури

Архитектура	Големина на пакета	Големина след инсталиране	Файлове
all	10,1 кБ	31,0 кБ	[списък на файловете]