Paket: science-logic (1.15)

Länkar för science-logic

Hämta källkodspaketet debian-science:

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

Ansvariga:

• Debian Science Team
• Andreas Tille
• Ole Streicher

Externa resurser:

• Hemsida [wiki.debian.org]

Liknande paket:

• science-statistics
• science-meteorology
• science-linguistics
• science-engineering
• science-robotics-dev
• science-biology
• science-all
• science-tasks
• science-electronics
• science-distributedcomputing
• science-physics

Andra paket besläktade med science-logic

• 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

  Paketet inte tillgängligt

• sug: coinor-libcoinmp-dev

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

• sug: prover9

  Paketet inte tillgängligt

Hämta science-logic