все параметры
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Источник: debian-science  ]

Пакет: science-logic (1.14.2)

Ссылки для science-logic

Screenshot

Ресурсы Debian:

Исходный код debian-science:

Сопровождающие:

Внешние ресурсы:

Подобные пакеты:

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.

Другие пакеты, относящиеся к science-logic

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка science-logic

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
all 20,5 Кб42,0 Кб [список файлов]