Skip to content
Sections
>> Trisquel >> 软件包 >> aramo >> metapackages >> science-logic
etiona  ] [  nabia  ] [  aramo  ]
[ 源代码: debian-science  ]

软件包: science-logic (1.14.2ubuntu1)

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.2ubuntu1)
    Debian Science Project config package
  • dep: science-tasks (= 1.14.2ubuntu1)
    Debian Science tasks for tasksel
  • rec: agda
    dependently typed functional programming language
  • rec: alt-ergo
    Automatic theorem prover dedicated to program verification
  • 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: 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
    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
    软件包暂时不可用
  • rec: z3
    theorem prover from Microsoft Research
  • 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 3.9 kB42 kB [文件列表]