Pakiet: science-logic (1.7ubuntu3)
Odnośniki dla science-logic
Zasoby systemu Trisquel:
- Install using apturl
- Entry at directory.fsf.org
- Raporty o błędach
- Changelog
- Informacje nt. praw autorskich
Pobieranie pakietu źródłowego debian-science:
Opiekun:
Original Maintainers:
- Debian Science Team (Archiwum e-mail)
- Andreas Tille
- Ole Streicher
Zasoby zewnętrzne:
- Strona internetowa [wiki.debian.org]
Podobne pakiety:
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.
Inne pakiety związane z science-logic
|
|
|
-
- dep: science-config (= 1.7ubuntu3)
- Debian Science Project config package
-
- dep: science-tasks (= 1.7ubuntu3)
- 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: cvc3
- Automatic theorem prover for SMT problems
-
- rec: depqbf
- solver for quantified boolean formulae
-
- rec: gringo
- grounding tools for (disjunctive) logic programs
-
- rec: hol-light
- HOL Light theorem prover
-
- 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: matita
- Pakiet niedostępny
-
- 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: prover9
- theorem prover and countermodel generator
-
- rec: sat4j
- Efficient library of SAT solvers in Java
-
- rec: spass
- automated theorem prover for first-order logic with equality
-
- rec: why3
- Software verification platform
-
- rec: z3
- theorem prover from Microsoft Research
-
- sug: coala
- Pakiet niedostępny
-
- sug: coinor-libcoinmp-dev
- Simple C API for COIN-OR Solvers Clp and Cbc -- development
-
- sug: mace2
- Pakiet niedostępny
-
- sug: toulbar2
- Exact combinatorial optimization for Graphical Models
-
- sug: why
- Software verification tool for C and Java
Pobieranie science-logic
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
all | 3,9 KiB | 37 KiB | [lista plików] |