debian/0000755000000000000000000000000012216557731007177 5ustar debian/rules0000755000000000000000000000031412012011377010236 0ustar #!/usr/bin/make -f # -*- makefile -*- # Uncomment this to turn on verbose mode. #export DH_VERBOSE=1 # for hardening support DPKG_EXPORT_BUILDFLAGS = 1 include /usr/share/dpkg/buildflags.mk %: dh $@ debian/install0000644000000000000000000000001711631273725010564 0ustar depqbf usr/bin debian/depqbf.manpages0000644000000000000000000000001111631273725012143 0ustar depqbf.1 debian/watch0000644000000000000000000000022612012006710010204 0ustar # Compulsory line, this is a version 3 file version=3 # examine github tags http://githubredir.debian.net/github/lonsing/depqbf/ version-(.*).tar.gz debian/patches/0000755000000000000000000000000012216557134010623 5ustar debian/patches/depqbf-manpages.patch0000644000000000000000000000542512216557031014700 0ustar Author: Thomas Krennwallner Description: Manpage for `depqbf'. Index: depqbf-0.1/depqbf.1 =================================================================== --- /dev/null 1970-01-01 00:00:00.000000000 +0000 +++ depqbf-0.1/depqbf.1 2011-08-26 14:54:20.473482106 +0100 @@ -0,0 +1,72 @@ +.\" Hey, EMACS: -*- nroff -*- +.\" First parameter, NAME, should be all caps +.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection +.\" other parameters are allowed: see man(7), man(1) +.TH DEPQBF 1 "August 26, 2011" +.\" Please adjust this date whenever revising the manpage. +.\" +.\" Some roff macros, for reference: +.\" .nh disable hyphenation +.\" .hy enable hyphenation +.\" .ad l left justify +.\" .ad b justify to both left and right margins +.\" .nf disable filling +.\" .fi enable filling +.\" .br insert line break +.\" .sp insert n+1 empty lines +.\" for manpage-specific macros, see man(7) +.SH NAME +depqbf \- a solver for quantified boolean formulae +.SH SYNOPSIS +.B depqbf +[\fIoptions\fR ...] [\fINUM\fR] [\fIFILE\fR] +.SH DESCRIPTION +.B 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. See also the JSAT system +description of DepQBF 0.1 from QBFEVAL'10 for references and a brief +outline of the idea. +.\" TeX users may be more comfortable with the \fB\fP and +.\" \fI\fP escape sequences to invode bold face and italics, +.\" respectively. +.PP +\fBdepqbf\fP reads QBF formulas in QDIMACS format. If \fIFILE\fP is not given, +it reads its input from stdin. It complies with input/output standards +as required by QBFEVAL'10. +.SH OPTIONS +\fBdepqbf\fP accepts the following options: +.TP +.B \-h, \-\-help +Print usage information. +.TP +.B \-\-version +Print version. +.TP +.B \-\-pretty\-print +Only parse and print formula. +.TP +.B \-v +Increase verbosity incrementally. +.TP +.B NUM +Optional: time-out after NUM seconds. +.TP +.B FILE +Optional: read input from FILE. +.SH EXIT STATUS +The exit status is 10 if the QBF formula given as input is satisfiable, +and 20 if it is unsatisfiable; any other exit code indicates that the +formula was not solved. +.SH SEE ALSO +.BR picosat (1), +.BR minisat (1), +.BR clasp (1). +.br +.SH AUTHOR +depqbf was written by Florian Lonsing . +.PP +This manual page was written by Thomas Krennwallner , +for the Debian project (and may be used by others). debian/patches/depqbf-makefile.patch0000644000000000000000000000210212216557134014653 0ustar Author: Thomas Krennwallner Description: Add dpkg-buildflags support and use gcc as C compiler. Index: depqbf-version-2.0/makefile =================================================================== --- depqbf-version-2.0.orig/makefile 2013-08-28 11:01:55.000000000 +0200 +++ depqbf-version-2.0/makefile 2013-09-19 13:20:05.000000000 +0200 @@ -2,10 +2,14 @@ CFLAGS=-Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -O3 #CFLAGS=-Wextra -Wall -Wno-unused -pedantic -std=c99 -g3 #CFLAGS=-Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -g3 -pg -fprofile-arcs -ftest-coverage -static +CC=gcc +CFLAGS += `dpkg-buildflags --get CFLAGS` +CFLAGS += `dpkg-buildflags --get CPPFLAGS` +LDFLAGS = `dpkg-buildflags --get LDFLAGS` OBJECTS=qdpll_main.o qdpll_app.o qdpll.o qdpll_mem.o qdpll_dep_man_qdag.o depqbf: qdpll_main.o qdpll_app.o libqdpll.a - $(CC) $(CFLAGS) qdpll_main.o qdpll_app.o -L. -lqdpll -o depqbf + $(CC) $(CFLAGS) $(LDFLAGS) qdpll_main.o qdpll_app.o -L. -lqdpll -o depqbf qdpll_main.o: qdpll_main.c qdpll.h $(CC) $(CFLAGS) -c qdpll_main.c debian/patches/series0000644000000000000000000000005412216557031012033 0ustar depqbf-makefile.patch depqbf-manpages.patch debian/control0000644000000000000000000000236412216553203010575 0ustar Source: depqbf Section: interpreters Priority: extra Maintainer: Debian Science Maintainers Uploaders: Thomas Krennwallner Build-Depends: debhelper (>= 9), dpkg-dev (>= 1.16.1~) Standards-Version: 3.9.4 Homepage: http://lonsing.github.com/depqbf/ Vcs-Git: git://git.debian.org/debian-science/packages/depqbf.git Vcs-Browser: http://git.debian.org/?p=debian-science/packages/depqbf.git;a=summary Package: depqbf Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends} Description: solver for quantified boolean formulae 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, called QDPLL, with conflict-driven clause and solution-driven cube learning. By analyzing the syntactic structure of a formula, DepQBF tries to identify independent variables. In general, information on independent variables can be represented in the formal framework of dependency schemes. DepQBF computes the so-called "standard dependency scheme" of a given formula. In addition to other benefits, information on independent variables often increases the freedom for decision making and clause learning. debian/changelog0000644000000000000000000000227012216557336011053 0ustar depqbf (2.0-1) unstable; urgency=low * New upstream release. * debian/patches/depqbf-makefile.patch: quilt refresh. * debian/compat: Bump version. * debian/control: Bump Standards-Version, Build-Depends. * debian/copyright: Update year. * debian/docs: Add NEWS. -- Thomas Krennwallner Thu, 19 Sep 2013 12:36:40 +0200 depqbf (1.0-1) unstable; urgency=low * New upstream release. * debian/control: Bump Standards-Version and update Homepage and Description, Build-Depends on dpkg-dev. * debian/copyright: Update Format, Upstream-Contact, Source, and Copyright. * debian/watch: Scan github for version tags. * debian/patches/depqbf-makefile.patch: Add hardening support. * debian/rules: Enable dpkg-buildflags. -- Thomas Krennwallner Sun, 12 Aug 2012 22:02:14 +0200 depqbf (0.1-2) unstable; urgency=low * debian/copyright: Fix unversioned-copyright-format-uri lintian warning. -- Thomas Krennwallner Mon, 26 Sep 2011 08:33:16 +0200 depqbf (0.1-1) unstable; urgency=low * Initial release (Closes: #639363) -- Thomas Krennwallner Fri, 26 Aug 2011 10:56:08 +0200 debian/docs0000644000000000000000000000001412216554343010041 0ustar README NEWS debian/copyright0000644000000000000000000000245212216554022011123 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: depqbf Upstream-Contact: Florian Lonsing Source: http://lonsing.github.io/depqbf/ Files: * Copyright: 2010, 2011, 2012, 2013 Florian Lonsing 2010, 2011, 2012, 2013 Aina Niemetz License: GPL-3.0+ Files: debian/* Copyright: 2011,2013 Thomas Krennwallner Comment: This package was debianized by Thomas Krennwallner on Fri, 26 Aug 2011 11:18 +0200. License: GPL-3.0+ License: GPL-3.0+ This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. . This package is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. . You should have received a copy of the GNU General Public License along with this program. If not, see . . On Debian systems, the complete text of the GNU General Public License version 3 can be found in "/usr/share/common-licenses/GPL-3". debian/compat0000644000000000000000000000000212216554312010365 0ustar 9 debian/source/0000755000000000000000000000000011631273725010475 5ustar debian/source/format0000644000000000000000000000001411631273725011703 0ustar 3.0 (quilt)