This package was debianized by Michael Tautschnig <mt@debian.org> on
Fri, 04 Jun 2010 15:28:31 +0200.

It was downloaded from
http://fmv.jku.at/boolector/boolector-1.3-e71a070-100601.tar.gz

Upstream Authors: Robert Daniel Brummayer <Robert.Brummayer@jku.at> and Armin
Biere <biere@jku.at>

Copyright (c) 2007, 2008, 2010, Robert Daniel Brummayer, Armin Biere, Johannes
Kepler University.


License:

 Boolector 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.
 
 Boolector 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 <http://www.gnu.org/licenses/>.

On Debian GNU/Linux systems, the complete text of the GNU General
Public License can be found in `/usr/share/common-licenses/GPL-3'.

The Debian packaging is Copyright (C) 2010, Michael Tautschnig <mt@debian.org>
and is licensed under the GPL; either version 2, or (at your option) any later
version, see `/usr/share/common-licenses/GPL-2'.

