science-logic 1.12-ok1 (amd64 binary) in openkylin yangtze
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.
Details
- Package version:
- 1.12-ok1
- Status:
- Deleted
- Component:
- main
- Priority:
- Optional
Downloadable files
amd64 build of debian-science 1.12-ok1 in openkylin yangtze PROPOSED produced
these files:
- science-logic_1.12-ok1_all.deb (3.7 KiB)
Package relationships
- Suggests:
- coala
- coinor-libcoinmp-dev
- cvc3
- mace2
- prover9
- why
