Package: science-logic (1.14.5)
Debian Science Logic packages
Other Packages Related to science-logic:
dep: [science-config] (= 1.14.5)
Debian Science Project config package
dep: [science-tasks] (= 1.14.5)
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: [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: [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
Package not available
sug: coala
Package not available
sug: [coinor-libcoinmp-dev]
Simple C API for COIN-OR Solvers Clp and Cbc -- development
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 | Package |
|---|---|---|---|---|
| all | 10 KiB | 31 KiB | list of files | Download |
Paketdateipfade (0)
Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.
No package-associated file paths were observed for the displayed build metadata.
Field source: Debian 12 (Bookworm) main amd64 revision bookworm-main-amd64:9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5