Binary package science-logic/1.15 in dawn @ pureos

science-logic - 1.15 main

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.

Priority: optional
Section: metapackages
Suites: amber byzantium crimson dawn landing
Maintainer: Debian Science Team <debian-science-maintainers [꩜] lists.alioth.debian.org>

Homepage Source Package

Dependencies

science-config (= 1.15)
science-tasks (= 1.15)

Installed Size: 30.7 kB
Architectures: all

Versions

1.15 all