[ Pakiet źródłowy: debian-science ]
Pakiet: science-logic (1.14.6)
Odnośniki dla science-logic
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
Pobieranie pakietu źródłowego debian-science:
Opiekunowie:
- Debian Science Team (Strona QA, Archiwum e-mail)
- Andreas Tille (Strona QA)
- Ole Streicher (Strona QA)
Zasoby zewnętrzne:
- Strona internetowa [wiki.debian.org]
Podobne pakiety:
"Debian Science" - pakiety do logiki obliczeniowej
Ten metapakiet jest częścią ekskluzywnego zestawu z projektu "Debian Science" i instaluje pakiety związane z logiką obliczeniową. Zawiera narzędzia do przekształcania formuł, solwery dla formuł określonych w różnych logikach, interaktywne systemy sprawdzające itp.
Inne pakiety związane z science-logic
|
|
|
|
-
- dep: science-config (= 1.14.6)
- "Debian Science" - pakiet konfiguracyjny projektu
-
- dep: science-tasks (= 1.14.6)
- "Debian Science" - zadania dla narzędzia tasksel
-
- rec: agda
- dependently typed functional programming language
-
- rec: boolector
- SMT solver dla wektorów bitowych i tablic
-
- rec: clasp
- conflict-driven nogood learning answer set solver
-
- rec: coinor-cbc
- Program "Coin-or branch-and-cut" do rozwiązywania mieszanych liczb całkowitych
-
- rec: coinor-symphony
- COIN-OR solver for mixed-integer linear programs
-
- rec: coq
- Asystent udowadniania logiki wyższego rzędu (interfejs i kompilator)
-
- rec: cvc4
- automated theorem prover for SMT problems
-
- rec: depqbf
- solver for quantified boolean formulae
-
- rec: gringo
- Narzędzia uziemiające dla (rozłącznych) programów logicznych
-
- rec: hol-light
- HOL Light theorem prover
-
- rec: hol88
- Logika wyższego rzędu, obraz systemu
-
- rec: lbt
- converts from LTL formulas to Büchi automata
-
- rec: maria
- Analizator osiągalności dla sieci systemów algebraicznych
-
- rec: maude
- high-performance logical framework
-
- rec: minisat+
- solver for pseudo-Boolean constraints
-
- rec: mona
- Narzędzie do udowadniania twierdzeń oparte na automatach
-
- rec: picosat
- SAT solver with proof and core support
-
- rec: proofgeneral
- Ogólny interfejs dla asystentów dowodzenia twierdzeń
-
- rec: sat4j
- Wydajna biblioteka solverów SAT w Javie
-
- 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
- Narzędzie do udowadniania twierdzeń firmy Microsoft Research
-
- sug: alt-ergo
- Pakiet niedostępny
-
- sug: coala
- Pakiet niedostępny
-
- sug: coinor-libcoinmp-dev
- Simple C API for COIN-OR Solvers Clp and Cbc -- development
-
- sug: cvc3
- Pakiet niedostępny
-
- sug: mace2
- Pakiet niedostępny
-
- sug: matita
- Pakiet niedostępny
-
- sug: prover9
- Pakiet niedostępny
-
- sug: why
- Pakiet niedostępny
Pobieranie science-logic
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| all | 10,0 KiB | 30,0 KiB | [lista plików] |