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
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.
The GNU General Public License is a free, copyleft license for