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