Binary package “science-logic” in ubuntu focal
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.7ubuntu3 in amd64 (Release)
- science-logic 1.12ubuntu1 in amd64 (Proposed)
- science-logic 1.12ubuntu1 in amd64 (Release)
- science-logic 1.7ubuntu3 in arm64 (Release)
- science-logic 1.12ubuntu1 in arm64 (Proposed)
- science-logic 1.12ubuntu1 in arm64 (Release)
- science-logic 1.7ubuntu3 in armhf (Release)
- science-logic 1.12ubuntu1 in armhf (Proposed)
- science-logic 1.12ubuntu1 in armhf (Release)
- science-logic 1.7ubuntu3 in i386 (Release)
- science-logic 1.12ubuntu1 in i386 (Proposed)
- science-logic 1.12ubuntu1 in i386 (Release)
- science-logic 1.7ubuntu3 in ppc64el (Release)
- science-logic 1.12ubuntu1 in ppc64el (Proposed)
- science-logic 1.12ubuntu1 in ppc64el (Release)
- science-logic 1.12ubuntu1 in riscv64 (Release)
- science-logic 1.7ubuntu3 in s390x (Release)
- science-logic 1.12ubuntu1 in s390x (Proposed)
- science-logic 1.12ubuntu1 in s390x (Release)