Re: Packages maintained by Debian Science maintainers but missing in tasks files
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
Reply to: