On Thu, Dec 23, 2010 at 04:30:28PM +0100, Michael Tautschnig wrote:
> If you want to go for answer set programming (ASP), then you might
> also want to know that some of those solvers are currently sitting in
> NEW and waiting for the ftp-master's approval, in particular gringo
> and clasp.
I'm glad to hear that. In fact, this prompt me to express a more general
"platform requirement" for all this discussion. It would be a worthwhile
goal, once an interface with APT and friends is set up, to define a
common way for package shipping dependency solvers to register
themselves as alternative solvers. Ideally, the sysadm might want to
change the solver used by APT by simply specifying a configuration
option, possibly on the command line.
I understand I'm jumping the gun a bit with that, but it's something we
should keep in mind as a goal. Maintainers of (several!, hint hint)
solver packages might in fact already advance proposals on how to
declare / register solvers.
Cheers.
--
Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7
zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
Quando anche i santi ti voltano le spalle, | . |. I've fans everywhere
ti resta John Fante -- V. Capossela .......| ..: |.......... -- C. Adams
Attachment:
signature.asc
Description: Digital signature