all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: debian-science  ]

Пакунок: science-logic (1.10)

Links for science-logic

Screenshot

Debian Resources:

Download Source Package debian-science:

Maintainers:

External Resources:

Similar packages:

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

  • depends
  • recommends
  • suggests
  • enhances

Завантажити science-logic

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
all 18.0 kB38.0 kB [список файлів]