paket adları açıklamalar kaynak paket adları paket içerikleri tüm seçenekler

[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

[ Kaynak: debian-science  ]

science-logic için bağlantılar

Ubuntu Kaynakları:

• Hata Raporları
• Ubuntu Değişim Günlüğü
• Telif Hakkı Dosyası

debian-science Kaynak Paketini İndir:

• [debian-science_1.15.dsc]
• [debian-science_1.15.tar.xz]

Geliştirici:

• Ubuntu MOTU Developers (Posta Arşivi)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

• Debian Science Team (Posta Arşivi)
• Andreas Tille
• Ole Streicher

It should generally not be necessary for users to contact the original maintainer.

Dış Kaynaklar:

• Ana Sayfa [wiki.debian.org]

Benzer paketler:

• science-chemistry
• science-economics
• science-engineering
• science-geography
• science-geometry
• science-linguistics
• science-mathematics
• science-meteorology
• science-physics
• science-simulations
• science-statistics

science-logic ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

• dep: science-config (= 1.15)

  Debian Science Project config package

• dep: science-tasks (= 1.15)

  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

  Paket mevcut değil

• sug: coinor-libcoinmp-dev

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

• sug: prover9

  Paket mevcut değil

science-logic indir

Tüm mevcut mimariler için indir

Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
all	3,6 kB	30,0 kB	[dosya listesi]