Ondokuz / depqbf

solver for quantified boolean formulae

•     Debian Science Maintainers
•     [email protected]
•     https://lonsing.github.io/depqbf/
•     5.01-3
•     depqbf_5.01-3_amd64.deb
•     135.0 KiB
•     interpreters
•     amd64
•      depqbf_5.01-3.debian.tar.xz
            depqbf_5.01-3.dsc
            depqbf_5.01.orig.tar.gz
•     Debian Versiyonu: 5.01-3
•     solver for quantified boolean formulae

Diğer Pardus sürümlerindeki versiyonlar