Hi, On Fri, Dec 13, 2013 at 09:56:41AM +0000, Michael Tautschnig wrote: > [...] > > > > Should we create a new task "Logic"? > > > > > > I'd be in favour of this. > > > > Thomas, if you could create and upload a corresponding task that would > > be great. I certainly won't have the time to look into this today. > > > > There are also certainly packages that could be added to that task but > > that are currently not listed on the wiki page: > > > > alt-ergo > > cvc3 > > coinor-cbc > > > > come to my mind but there are certainly more. > > > > It would be nice to have the SAT/SMT solvers in there as well: > > boolector > picosat > minisat2
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 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 BTW, if you want me to explain the advantages of tasks pages over Wiki pages again I'd volunteer to cherry pick from random mails I've sended to various Blends related lists. ;-) Hope this helps Andreas. -- http://fam-tille.de -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
