Source Package: depqbf (2.0-1)
Links for depqbf
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Maintainers
- Thomas Krennwallner
It should generally not be necessary for users to contact the original maintainer.
The following binary packages are built from this source package:
- solver for quantified boolean formulae
Other Packages Related to depqbf
- helper programs for debian/rules
- Debian package development tools