1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
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 'make' in the directory where you unpacked
the sources. This produces optimized code without
assertions. Compilation should work on most Unix/Linux platforms using
e.g. gcc4.2.4 or higher.
DepQBF complies with input/output standards as required by
QBFEVAL'10. See also usage information by calling 'depqbf -h'. The
best way to call the solver is without any parameters, i.e.
'depqbf FILE.qdimacs' for a QDIMACS file 'FILE.qdimacs'. This results
in the same behaviour as the version of DepQBF in QBFEVAL'10. Note
that this release does NOT include preprocessing as in DepQBF-pre,
which also participated in QBFEVAL'10. At the moment, there is no
public release of DepQBF-pre.
For copying conditions, see COPYING.
For contact information (questions, bug reports, etc.), see project
webpage at http://fmv.jku.at/depqbf/
|
