This package is 16.1 KB.
It is available at http://ftp.debian.org/debian/pool/main/d/debian-science/science-logic_1.7_all.deb
.
View its full control file here:
debian/control.
Debian Science Logic packages
This package depends on:
science-tasks (= 1.7), science-config (= 1.7).
This package recommends:
agda, alt-ergo, boolector, clasp, coinor-cbc, coinor-symphony, coq, cvc3, depqbf, gringo, hol-light, hol88, lbt, maria, matita, maude, minisat+, mona, picosat, proofgeneral, prover9, sat4j, spass, why3, z3.
This package suggests:
coala, coinor-libcoinmp-dev, mace2, toulbar2, why.
This package does not conflict with any other package.
science-logic 1.7 is in debian - stretch / main. This package's architecture is: architectureless.
This package will not be indexed since your user agent reports your browser is a bot.