[ Source: debian-science ]
Package: science-logic (1.14.6)
Links for science-logic
Debian Resources:
Download Source Package debian-science:
Maintainers:
External Resources:
- Homepage [wiki.debian.org]
Similar packages:
Debian Science - pakker til logik
Denne metapakke er en del af Debian Pure Blend »Debian Science« og den installerer pakker relateret til beregningsmæssig logik. Den indeholder transformationsværktøjer til formler, formelløsere specificeret i diverse logik, interaktive bevissystemer etc.
Other Packages Related to science-logic
|
|
|
|
-
- dep: science-config (= 1.14.6)
- Debian Science Project - konfigurationspakke
-
- dep: science-tasks (= 1.14.6)
- Debian Science - opgaver for tasksel
-
- rec: agda
- Afhængighedsindtastet funktionelt programmeringssprog
-
- rec: boolector
- SMT-løser for bit-vektorer og arrayer
-
- rec: clasp
- Konfliktdrevet nogood-løsningsprogram for svarsæt til indlæring
-
- rec: coinor-cbc
- Coin-or branch-and-cut blandet heltals programmeringsløser
-
- rec: coinor-symphony
- COIN-OR-løser for blandede-heltals lineære programmer
-
- rec: coq
- Bevisassistent for højere ordens logik - topniveau og kompiler
-
- rec: cvc4
- Automatiseret læresætningsbeviser for SMT-problemer
-
- rec: depqbf
- Beviser for kvantificerede booleske formler
-
- rec: gringo
- Grundlæggende værktøjer for (disjunktive) logikprogrammer
-
- rec: hol-light
- Package not available
-
- rec: hol88
- Higher Order Logic - systemaftryk
-
- rec: lbt
- konverterer fra LTL-formler til Büchi-automata
-
- rec: maria
- tilgængelighedsanalyseprogram for Algebraic System Nets
-
- rec: maude
- Højtydende logisk ramme
-
- rec: minisat+
- Løser for pseudo-booleske begrænsninger
-
- rec: mona
- teorem-bevisførelse baseret på automat
-
- rec: picosat
- SAT-løser med proof- og core-understøttelse
-
- rec: proofgeneral
- Package not available
-
- rec: sat4j
- Effektivt bibliotek af SAT-løsere i Java
-
- rec: spass
- Automatiseret læresætningsbeviser for første orden logik med ligestilling
-
- rec: toulbar2
- Package not available
-
- rec: why3
- Programverifikationsplatform
-
- rec: z3
- Læresætningsbeviser fra Microsoft Research
-
- sug: alt-ergo
- Package not available
-
- sug: coala
- Package not available
-
- sug: coinor-libcoinmp-dev
- Simpel C-API for COIN-OR Solvers Clp and Cbc - udvikling
-
- sug: cvc3
- Package not available
-
- sug: mace2
- Package not available
-
- sug: matita
- Package not available
-
- sug: prover9
- Package not available
-
- sug: why
- Package not available
Download science-logic
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 10.0 kB | 30.0 kB | [list of files] |