Binary package “science-logic” in ubuntu xenial
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.
Source package
Published versions
- science-logic 1.4ubuntu7 in amd64 (Proposed)
- science-logic 1.4ubuntu7 in amd64 (Release)
- science-logic 1.4ubuntu7 in arm64 (Proposed)
- science-logic 1.4ubuntu7 in arm64 (Release)
- science-logic 1.4ubuntu7 in armhf (Proposed)
- science-logic 1.4ubuntu7 in armhf (Release)
- science-logic 1.4ubuntu7 in i386 (Proposed)
- science-logic 1.4ubuntu7 in i386 (Release)
- science-logic 1.4ubuntu7 in powerpc (Proposed)
- science-logic 1.4ubuntu7 in powerpc (Release)
- science-logic 1.4ubuntu7 in ppc64el (Proposed)
- science-logic 1.4ubuntu7 in ppc64el (Release)
- science-logic 1.4ubuntu7 in s390x (Proposed)
- science-logic 1.4ubuntu7 in s390x (Release)