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

depqbf_0.1.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:depqbf_0.1.orig.tar.gz

/depqbf-0.1/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»

/depqbf-0.1/COPYING

                    GNU GENERAL PUBLIC LICENSE
                       Version 3, 29 June 2007

 Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/>
 Everyone is permitted to copy and distribute verbatim copies
 of this license document, but changing it is not allowed.

                            Preamble

  The GNU General Public License is a free, copyleft license for
software an
more»

Browse inside depqbf_0.1.orig.tar.gz

         [DIR]depqbf-0.1/ (17)

Download depqbf_0.1.orig.tar.gz

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