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

Package: science-logic (1.14.2)

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.

Other Packages Related to science-logic

  • depends
  • recommends
  • suggests
  • enhances

Download science-logic

Download for all available architectures
Architecture Package Size Installed Size Files
all 20.5 kB42.0 kB [list of files]