packages
[ Paquet source : debian-science ]
Paquet : science-logic (1.15) [universe]
Liens pour science-logic
Ressources Ubuntu :
Télécharger le paquet source debian-science :
Responsable :
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Team (Archive du courrier électronique)
- Andreas Tille
- Ole Streicher
It should generally not be necessary for users to contact the original maintainer.
Ressources externes :
- Page d'accueil [wiki.debian.org]
Paquets similaires :
Debian Science Logic packages
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
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 3,6 ko | 30,0 ko | [liste des fichiers] |