Filewatcher File Search File Search
Catalog
Content Search
» » » » »

depqbf

solver for quantified boolean formulae

Variants:
DepQBF is a search-based solver for quantified boolean formulae (QBF) in prenex conjunctive normal form. It is based on the DPLL algorithm for QBF with conflict-driven clause and solution-driven cube learning. By analyzing the structure of a formula, DepQBF tries to identify independent variables. In addition to other benefits, this often increases freedom for decision making.
Homepage:
Package version:0.1-1
Architecture:armel
Distribution:Debian
Filename:depqbf_0.1-1_armel.deb

/usr/share/doc/depqbf/README

First source release of DepQBF 0.1, a search-based solver for
quantified boolean formulae (QBF) in QDIMACS format. DepQBF
participated in QBFEVAL'10, see the competition website
http://www.qbflib.org/index_eval.php for performance results.

DepQBF was developed and tested in a Linux environment using GNU make
and gcc. It is written in C, incorporating C99 features to some
extent. To compile, call 
more»

/usr/share/man/man1/depqbf.1.gz

DEPQBF(1)                                                  DEPQBF(1)



NAME
       depqbf - a solver for quantified boolean formulae

SYNOPSIS
       depqbf [options ...] [NUM] [FILE]

DESCRIPTION
       depqbf is a search-based solver for quantified boolean formuā€
       lae (QBF) in prenex conjunctive normal form. It is  based  on
       the  DPLL  algorithm  for QBF with conflict-driven clau
more»

/usr/share/doc/depqbf/changelog.Debian.gz

depqbf (0.1-1) unstable; urgency=low

  * Initial release (Closes: #639363)

 -- Thomas Krennwallner <tkren@kr.tuwien.ac.at>  Fri, 26 Aug 2011 10:56:08 +0200

/usr/share/doc/depqbf/copyright

Format: http://dep.debian.net/deps/dep5
Upstream-Name: depqbf
Source: http://fmv.jku.at/depqbf/

Fil
more»

Browse inside depqbf_0.1-1_armel.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download depqbf_0.1-1_armel.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com