Paquet : science-logic (1.15)

Liens pour science-logic

Télécharger le paquet source debian-science :

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

Responsables :

• Debian Science Team
• Andreas Tille
• Ole Streicher

Ressources externes :

• Page d'accueil [wiki.debian.org]

Paquets similaires :

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

Autres paquets associés à 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

  Paquet indisponible

• sug: coinor-libcoinmp-dev

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

• sug: prover9

  Paquet indisponible

Télécharger science-logic