Installion's Lion Logo

Installion.co.uk

How To Install depqbf On Debian 9

To install depqbf just follow these instructions.

Install depqbf

solver for quantified boolean formulaeDebian 9.0interpreters5.01-1
sudo apt-get install depqbf

Which will install depqbf and any other packages on which it depends.

Package Data

Packagedepqbf
Version5.01-1
MaintainerDebian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Home pagehttp://lonsing.github.com/depqbf/
Descriptionsolver for quantified boolean formulae
Distrodebian
Releasestretch
Repomain
Sectioninterpreters

Dependencies