Installlion's Logo

Installlion.com

How To Install depqbf on stretch

To install depqbf just follow these instructions.

Install depqbf

solver for quantified boolean formulae Debian 9.0 interpreters 5.01-1

sudo apt-get install depqbf

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

Package Data

Package depqbf
Version 5.01-1
Maintainer Debian Science Maintainers
Description solver for quantified boolean formulae
Distro debian
Release stretch
Repo main
Section interpreters

Dependencies