On Fri, Dec 13, 2013 at 03:19:38PM +0100, Andreas Tille wrote: [...] > Since there seems to be some consenus I created a first *rough* shot > on this mentioning all packages from this thread (while not checking > any wiki page!): > > http://blends.debian.org/science/tasks/logic
Thanks. I've added more packages mentioned in the wiki and updated the description, but I think I don't have sufficient rights to push my changes. I've attached the logic task file... > Please do > > 1. Enhance the description of this task > 2. Migrate content of the Wiki page (and link to the task page) > 3. Decide whether some additional logic-dev might make sense 1 and 2 are done. I think a logic-dev could be useful in future, but for now, most packages are tool-only AFAICS. -- Thomas Krennwallner http://www.postsubmeta.net/
Task: 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. Depends: alt-ergo Depends: cvc3 Depends: coinor-cbc Depends: boolector Depends: picosat Depends: minisat2 Depends: clasp Depends: coala Depends: gringo Depends: depqbf Depends: lbt Depends: maria Depends: minisat+ Depends: mona Depends: sat4j Depends: coq Depends: matita
