Install science-logic by entering the following commands in the terminal:
sudo apt update sudo apt install science-logic
Description:
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.
Homepage: http://wiki.debian.org/DebianScience/
Version: 1.7ubuntu3
Section: universe/metapackages