[ddp] depqbf : solver for quantified boolean formulae

[daily-debian-package at enix.org]

Hello,

Today, I'm happy to present you the Debian package depqbf, which is
part of the interpreters section, and maintained by Debian Science
Maintainers <debian-science-maintainers at lists.alioth.debian.org>. 

This package contains : solver for quantified boolean formulae.



Package homepage     :
 http://packages.debian.org/unstable/interpreters/depqbf

Package bug homepage :
 http://bugs.debian.org/depqbf

Package QA homepage  :
 http://packages.qa.debian.org/depqbf

Have fun with Debian packages !

-- 
Daily Debian package, by Thomas Petazzoni, thanks to Jérome Petazzoni
Daily-debian-package at the-doors.enix.org
http://the-doors.enix.org/cgi-bin/mailman/listinfo/daily-debian-package
http://thomas.enix.org/DebianPackageDay