Debian NEW package overview for bitwuzla
| bitwuzla_0.8.2-1_amd64.changes (click to toggle) | |
|---|---|
| Format: | 1.8 |
| Date: | Mon, 15 Dec 2025 10:53:05 +0100 |
| Source: | bitwuzla |
| Binary: | bitwuzla bitwuzla-dev bitwuzla-doc libbitwuzla0 python3-bitwuzla |
| Architecture: | source amd64 all |
| Version: | 0.8.2-1 |
| Distribution: | unstable |
| Urgency: | medium |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Changed-By: | Gábor Németh <homar@riseup.net> |
| Description: | bitwuzla - SMT solver for bit vectors and arrays bitwuzla-dev - SMT solver for bit vectors and arrays (development files) bitwuzla-doc - Documentation for Bitwuzla libbitwuzla0 - SMT solver for bit vectors and arrays (runtime libraries) python3-bitwuzla - SMT solver for bit vectors and arrays (Python bindings) |
| Closes: | 1121763 |
| Changes: | bitwuzla (0.8.2-1) unstable; urgency=medium * Initial release. (Closes: #1121763) |
| Files: | 01edefd78c0857e29979e37e2bf9763e 2525 science optional bitwuzla_0.8.2-1.dsc 71171801c3e31351367eddf6c1acf183 2080406 science optional bitwuzla_0.8.2.orig.tar.gz 02d75e5b4b93cfa2bbb37e25f905aefe 4528 science optional bitwuzla_0.8.2-1.debian.tar.xz 125df2a2d19b72ebf9d6dfd543af827b 25440 science optional bitwuzla-dev_0.8.2-1_amd64.deb 5176820668a75a7f1848cfeb4273f7a1 204968 doc optional bitwuzla-doc_0.8.2-1_all.deb aa9f45a0bd4522e8e9334eadf07b2af6 12788 science optional bitwuzla_0.8.2-1_amd64.buildinfo 4760c001e3bc1b8fb555e1d26e5dac39 38024 science optional bitwuzla_0.8.2-1_amd64.deb d199ea572ef94abc8ba1a828ef0fb673 1505548 libs optional libbitwuzla0_0.8.2-1_amd64.deb e00b64e8b2d74f8f0060b907b1790386 142040 python optional python3-bitwuzla_0.8.2-1_amd64.deb |
| bitwuzla_0.8.2-1.dsc (click to toggle) | |
|---|---|
| Format: | 3.0 (quilt) |
| Source: | bitwuzla |
| Binary: | bitwuzla, libbitwuzla0, bitwuzla-dev, python3-bitwuzla, bitwuzla-doc |
| Architecture: | any all |
| Version: | 0.8.2-1 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Uploaders: | Gábor Németh <homar@riseup.net> |
| Homepage: | https://github.com/bitwuzla/bitwuzla |
| Standards-Version: | 4.7.2 |
| Vcs-Browser: | https://salsa.debian.org/science-team/bitwuzla |
| Vcs-Git: | https://salsa.debian.org/science-team/bitwuzla.git |
| Build-Depends: | debhelper-compat (=13), dh-sequence-python3, cython3, doxygen, git, help2man, libcadical-dev, libgmp-dev, libgtest-dev, libpython3-dev, libsymfpu-dev, meson, ninja-build, pkgconf, pybuild-plugin-pyproject, python3-breathe, python3-mesonpy, python3-pytest, python3-sphinx, python3-sphinx-rtd-theme, python3-sphinx-tabs, python3-sphinxcontrib.bibtex, quilt |
| Package-List: | bitwuzla deb science optional arch=any bitwuzla-dev deb science optional arch=any bitwuzla-doc deb doc optional arch=all libbitwuzla0 deb libs optional arch=any python3-bitwuzla deb python optional arch=any |
| Files: | 71171801c3e31351367eddf6c1acf183 2080406 bitwuzla_0.8.2.orig.tar.gz 02d75e5b4b93cfa2bbb37e25f905aefe 4528 bitwuzla_0.8.2-1.debian.tar.xz |
| control file for bitwuzla_0.8.2-1_amd64.deb (click to toggle) | |
|---|---|
| Package: | bitwuzla |
| Version: | 0.8.2-1 |
| Architecture: | amd64 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Installed-Size: | 131 |
| Depends: | libbitwuzla0 (>=0.8.2), libc6 (>=2.38), libgcc-s1 (>=3.0), libstdc++6 (>=13.1) |
| Section: | science |
| Priority: | optional |
| Homepage: | https://github.com/bitwuzla/bitwuzla |
| Description: | SMT solver for bit vectors and arrays Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays, uninterpreted functions and their combinations. |
| contents of bitwuzla_0.8.2-1_amd64.deb (click to toggle) | |
|---|---|
drwxr-xr-x root/root 0 2025-12-15 09:53 ./ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/bin/ -rwxr-xr-x root/root 116944 2025-12-15 09:53 ./usr/bin/bitwuzla drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla/ -rw-r--r-- root/root 164 2025-12-15 09:53 ./usr/share/doc/bitwuzla/changelog.Debian.gz -rw-r--r-- root/root 2297 2025-12-15 09:53 ./usr/share/doc/bitwuzla/copyright drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/man/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/man/man1/ -rw-r--r-- root/root 2158 2025-12-15 09:53 ./usr/share/man/man1/bitwuzla.1.gz | |
| copyright of bitwuzla_0.8.2-1_amd64.deb (click to toggle) | |
|---|---|
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Source: https://github.com/bitwuzla/bitwuzla Upstream-Name: bitwuzla Files: * Copyright: 2018-2025 Aina Niemetz, Stanford University 2018-2025 Mathias Preiner, Stanford University Comment: Bitwuzlas's copyright is held by these individuals and the affiliated institutions at the time of their contributions. License: Expat Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: . The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. . THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. Files: debian/* Copyright: 2025 Gábor Németh <homar@riseup.net> License: GPL-3+ This package 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 package. If not, see <https://www.gnu.org/licenses/>. Comment: On Debian systems, the complete text of the GNU General Public License version 3 can be found in "/usr/share/common-licenses/GPL-3". | |
| control file for bitwuzla-dev_0.8.2-1_amd64.deb (click to toggle) | |
|---|---|
| Package: | bitwuzla-dev |
| Source: | bitwuzla |
| Version: | 0.8.2-1 |
| Architecture: | amd64 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Installed-Size: | 216 |
| Depends: | libbitwuzla0 (=0.8.2-1) |
| Section: | science |
| Priority: | optional |
| Homepage: | https://github.com/bitwuzla/bitwuzla |
| Description: | SMT solver for bit vectors and arrays (development files) Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays, uninterpreted functions and their combinations. . This package contains C and C++ bindings to Bitwuzla. |
| contents of bitwuzla-dev_0.8.2-1_amd64.deb (click to toggle) | |
|---|---|
drwxr-xr-x root/root 0 2025-12-15 09:53 ./ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/include/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/include/bitwuzla/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/include/bitwuzla/c/ -rw-r--r-- root/root 68810 2025-08-05 15:15 ./usr/include/bitwuzla/c/bitwuzla.h -rw-r--r-- root/root 5921 2025-08-05 15:15 ./usr/include/bitwuzla/c/parser.h drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/include/bitwuzla/cpp/ -rw-r--r-- root/root 53335 2025-08-05 15:15 ./usr/include/bitwuzla/cpp/bitwuzla.h -rw-r--r-- root/root 5503 2025-08-05 15:15 ./usr/include/bitwuzla/cpp/parser.h -rw-r--r-- root/root 41720 2025-08-05 15:15 ./usr/include/bitwuzla/enums.h -rw-r--r-- root/root 19561 2025-08-05 15:15 ./usr/include/bitwuzla/option.h drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/lib/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/lib/x86_64-linux-gnu/pkgconfig/ -rw-r--r-- root/root 328 2025-12-15 09:53 ./usr/lib/x86_64-linux-gnu/pkgconfig/bitwuzla.pc drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla-dev/ -rw-r--r-- root/root 164 2025-12-15 09:53 ./usr/share/doc/bitwuzla-dev/changelog.Debian.gz -rw-r--r-- root/root 2297 2025-12-15 09:53 ./usr/share/doc/bitwuzla-dev/copyright lrwxrwxrwx root/root 0 2025-12-15 09:53 ./usr/lib/x86_64-linux-gnu/libbitwuzla.so -> libbitwuzla.so.0 lrwxrwxrwx root/root 0 2025-12-15 09:53 ./usr/lib/x86_64-linux-gnu/libbitwuzlabb.so -> libbitwuzlabb.so.0 lrwxrwxrwx root/root 0 2025-12-15 09:53 ./usr/lib/x86_64-linux-gnu/libbitwuzlabv.so -> libbitwuzlabv.so.0 lrwxrwxrwx root/root 0 2025-12-15 09:53 ./usr/lib/x86_64-linux-gnu/libbitwuzlals.so -> libbitwuzlals.so.0 | |
| copyright of bitwuzla-dev_0.8.2-1_amd64.deb (click to toggle) | |
|---|---|
NOTE: Copyright is the same as bitwuzla (bitwuzla_0.8.2-1_amd64.deb). Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Source: https://github.com/bitwuzla/bitwuzla Upstream-Name: bitwuzla Files: * Copyright: 2018-2025 Aina Niemetz, Stanford University 2018-2025 Mathias Preiner, Stanford University Comment: Bitwuzlas's copyright is held by these individuals and the affiliated institutions at the time of their contributions. License: Expat Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: . The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. . THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. Files: debian/* Copyright: 2025 Gábor Németh <homar@riseup.net> License: GPL-3+ This package 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 package. If not, see <https://www.gnu.org/licenses/>. Comment: On Debian systems, the complete text of the GNU General Public License version 3 can be found in "/usr/share/common-licenses/GPL-3". | |
| control file for bitwuzla-doc_0.8.2-1_all.deb (click to toggle) | |
|---|---|
| Package: | bitwuzla-doc |
| Source: | bitwuzla |
| Version: | 0.8.2-1 |
| Architecture: | all |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Installed-Size: | 5126 |
| Depends: | libjs-jquery |
| Recommends: | fonts-font-awesome, fonts-lato, fonts-roboto-slab |
| Section: | doc |
| Priority: | optional |
| Homepage: | https://github.com/bitwuzla/bitwuzla |
| Description: | Documentation for Bitwuzla Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays, uninterpreted functions and their combinations. . This package contains HTML documentation for Bitwuzla. |
| contents of bitwuzla-doc_0.8.2-1_all.deb (click to toggle) | |
|---|---|
drwxr-xr-x root/root 0 2025-12-15 09:53 ./ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/ -rw-r--r-- root/root 7912 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/api.html -rw-r--r-- root/root 14265 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/binary.html drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/ -rw-r--r-- root/root 950200 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/api.html drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/enums/ -rw-r--r-- root/root 203231 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/enums/bitwuzlakind.html -rw-r--r-- root/root 75145 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/enums/bitwuzlaoption.html -rw-r--r-- root/root 12698 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/enums/bitwuzlaresult.html -rw-r--r-- root/root 16638 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/enums/bitwuzlaroundingmode.html -rw-r--r-- root/root 21723 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/interface.html -rw-r--r-- root/root 10118 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/library_info.html -rw-r--r-- root/root 18307 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/options.html drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/structs/ -rw-r--r-- root/root 27333 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/structs/bitwuzlaoptioninfo.html drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/types/ -rw-r--r-- root/root 82350 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/types/bitwuzla.html -rw-r--r-- root/root 46338 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/types/bitwuzlaoptions.html -rw-r--r-- root/root 38741 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/types/bitwuzlaparser.html -rw-r--r-- root/root 47839 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/types/bitwuzlasort.html -rw-r--r-- root/root 122441 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/types/bitwuzlaterm.html -rw-r--r-- root/root 140367 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/c/types/bitwuzlatermmanager.html drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/ -rw-r--r-- root/root 932570 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/api.html drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/classes/ -rw-r--r-- root/root 56445 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/classes/bitwuzla.html -rw-r--r-- root/root 26160 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/classes/exception.html -rw-r--r-- root/root 43580 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/classes/optioninfo.html -rw-r--r-- root/root 43862 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/classes/options.html -rw-r--r-- root/root 46460 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/classes/parser.html -rw-r--r-- root/root 43130 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/classes/sort.html -rw-r--r-- root/root 66008 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/classes/term.html -rw-r--r-- root/root 26720 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/classes/terminator.html -rw-r--r-- root/root 77327 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/classes/termmanager.html drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/enums/ -rw-r--r-- root/root 162889 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/enums/kind.html -rw-r--r-- root/root 72337 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/enums/option.html -rw-r--r-- root/root 12996 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/enums/result.html -rw-r--r-- root/root 19594 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/enums/roundingmode.html -rw-r--r-- root/root 10287 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/interface.html -rw-r--r-- root/root 10544 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/library_info.html -rw-r--r-- root/root 23224 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/cpp/options.html -rw-r--r-- root/root 153020 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/genindex.html -rw-r--r-- root/root 7709 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/index.html -rw-r--r-- root/root 13320 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/install.html drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/ocaml/ -rw-r--r-- root/root 6411 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/ocaml/api.html drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/python/ -rw-r--r-- root/root 801129 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/python/api.html drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/python/enums/ -rw-r--r-- root/root 22397 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/python/enums/option.html -rw-r--r-- root/root 229208 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/python/interface.html -rw-r--r-- root/root 13740 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/python/options.html -rw-r--r-- root/root 4248 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/references.html -rw-r--r-- root/root 4067 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/search.html -rw-r--r-- root/root 193510 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/searchindex.js drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/static/ -rw-r--r-- root/root 14685 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/static/basic.css drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/static/css/ -rw-r--r-- root/root 3404 2025-05-17 20:38 ./usr/share/doc/bitwuzla/html/static/css/badge_only.css -rw-r--r-- root/root 140442 2025-05-17 20:38 ./usr/share/doc/bitwuzla/html/static/css/theme.css -rw-r--r-- root/root 954 2025-08-05 15:15 ./usr/share/doc/bitwuzla/html/static/custom.css -rw-r--r-- root/root 4322 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/static/doctools.js -rw-r--r-- root/root 323 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/static/documentation_options.js -rw-r--r-- root/root 286 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/static/file.png drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/static/js/ -rw-r--r-- root/root 9480 2025-05-17 20:38 ./usr/share/doc/bitwuzla/html/static/js/theme.js -rw-r--r-- root/root 6978 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/static/js/versions.js -rw-r--r-- root/root 4598 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/static/language_data.js -rw-r--r-- root/root 90 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/static/minus.png -rw-r--r-- root/root 90 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/static/plus.png -rw-r--r-- root/root 4902 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/static/pygments.css -rw-r--r-- root/root 21782 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/static/searchtools.js -rw-r--r-- root/root 5123 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/static/sphinx_highlight.js -rw-r--r-- root/root 4289 2025-12-15 09:53 ./usr/share/doc/bitwuzla/html/static/sphinx_javascript_frameworks_compat.js -rw-r--r-- root/root 1804 2024-10-08 13:35 ./usr/share/doc/bitwuzla/html/static/tabs.css -rw-r--r-- root/root 4231 2024-10-08 13:35 ./usr/share/doc/bitwuzla/html/static/tabs.js drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/bitwuzla-doc/ -rw-r--r-- root/root 164 2025-12-15 09:53 ./usr/share/doc/bitwuzla-doc/changelog.Debian.gz -rw-r--r-- root/root 2297 2025-12-15 09:53 ./usr/share/doc/bitwuzla-doc/copyright drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc-base/ -rw-r--r-- root/root 261 2025-12-15 09:53 ./usr/share/doc-base/bitwuzla-doc.bitwuzla | |
| copyright of bitwuzla-doc_0.8.2-1_all.deb (click to toggle) | |
|---|---|
NOTE: Copyright is the same as bitwuzla (bitwuzla_0.8.2-1_amd64.deb). Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Source: https://github.com/bitwuzla/bitwuzla Upstream-Name: bitwuzla Files: * Copyright: 2018-2025 Aina Niemetz, Stanford University 2018-2025 Mathias Preiner, Stanford University Comment: Bitwuzlas's copyright is held by these individuals and the affiliated institutions at the time of their contributions. License: Expat Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: . The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. . THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. Files: debian/* Copyright: 2025 Gábor Németh <homar@riseup.net> License: GPL-3+ This package 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 package. If not, see <https://www.gnu.org/licenses/>. Comment: On Debian systems, the complete text of the GNU General Public License version 3 can be found in "/usr/share/common-licenses/GPL-3". | |
| control file for libbitwuzla0_0.8.2-1_amd64.deb (click to toggle) | |
|---|---|
| Package: | libbitwuzla0 |
| Source: | bitwuzla |
| Version: | 0.8.2-1 |
| Architecture: | amd64 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Installed-Size: | 5518 |
| Depends: | libc6 (>=2.38), libgcc-s1 (>=3.0), libgmp10 (>=2:6.3.0+dfsg), libstdc++6 (>=14) |
| Section: | libs |
| Priority: | optional |
| Homepage: | https://github.com/bitwuzla/bitwuzla |
| Description: | SMT solver for bit vectors and arrays (runtime libraries) Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays, uninterpreted functions and their combinations. . This package contains the runtime libraries, necessary to run Bitwuzla. |
| contents of libbitwuzla0_0.8.2-1_amd64.deb (click to toggle) | |
|---|---|
drwxr-xr-x root/root 0 2025-12-15 09:53 ./ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/lib/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/lib/x86_64-linux-gnu/ -rw-r--r-- root/root 4986080 2025-12-15 09:53 ./usr/lib/x86_64-linux-gnu/libbitwuzla.so.0 -rw-r--r-- root/root 63360 2025-12-15 09:53 ./usr/lib/x86_64-linux-gnu/libbitwuzlabb.so.0 -rw-r--r-- root/root 182072 2025-12-15 09:53 ./usr/lib/x86_64-linux-gnu/libbitwuzlabv.so.0 -rw-r--r-- root/root 403336 2025-12-15 09:53 ./usr/lib/x86_64-linux-gnu/libbitwuzlals.so.0 drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/libbitwuzla0/ -rw-r--r-- root/root 164 2025-12-15 09:53 ./usr/share/doc/libbitwuzla0/changelog.Debian.gz -rw-r--r-- root/root 2297 2025-12-15 09:53 ./usr/share/doc/libbitwuzla0/copyright | |
| copyright of libbitwuzla0_0.8.2-1_amd64.deb (click to toggle) | |
|---|---|
NOTE: Copyright is the same as bitwuzla (bitwuzla_0.8.2-1_amd64.deb). Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Source: https://github.com/bitwuzla/bitwuzla Upstream-Name: bitwuzla Files: * Copyright: 2018-2025 Aina Niemetz, Stanford University 2018-2025 Mathias Preiner, Stanford University Comment: Bitwuzlas's copyright is held by these individuals and the affiliated institutions at the time of their contributions. License: Expat Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: . The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. . THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. Files: debian/* Copyright: 2025 Gábor Németh <homar@riseup.net> License: GPL-3+ This package 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 package. If not, see <https://www.gnu.org/licenses/>. Comment: On Debian systems, the complete text of the GNU General Public License version 3 can be found in "/usr/share/common-licenses/GPL-3". | |
| control file for python3-bitwuzla_0.8.2-1_amd64.deb (click to toggle) | |
|---|---|
| Package: | python3-bitwuzla |
| Source: | bitwuzla |
| Version: | 0.8.2-1 |
| Architecture: | amd64 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Installed-Size: | 533 |
| Depends: | python3 (<<3.14), python3 (>=3.13~), python3:any (<<3.14), python3:any (>=3.13~), libbitwuzla0 (>=0.8.2), libc6 (>=2.32), libgcc-s1 (>=3.0), libstdc++6 (>=13.1) |
| Section: | python |
| Priority: | optional |
| Homepage: | https://github.com/bitwuzla/bitwuzla |
| Description: | SMT solver for bit vectors and arrays (Python bindings) Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays, uninterpreted functions and their combinations. . This package contains Python bindings to Bitwuzla. |
| contents of python3-bitwuzla_0.8.2-1_amd64.deb (click to toggle) | |
|---|---|
drwxr-xr-x root/root 0 2025-12-15 09:53 ./ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/lib/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/lib/python3/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/lib/python3/dist-packages/ -rw-r--r-- root/root 531992 2025-12-15 09:53 ./usr/lib/python3/dist-packages/bitwuzla.cpython-313-x86_64-linux-gnu.so drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-12-15 09:53 ./usr/share/doc/python3-bitwuzla/ -rw-r--r-- root/root 164 2025-12-15 09:53 ./usr/share/doc/python3-bitwuzla/changelog.Debian.gz -rw-r--r-- root/root 2297 2025-12-15 09:53 ./usr/share/doc/python3-bitwuzla/copyright | |
| copyright of python3-bitwuzla_0.8.2-1_amd64.deb (click to toggle) | |
|---|---|
NOTE: Copyright is the same as bitwuzla (bitwuzla_0.8.2-1_amd64.deb). Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Source: https://github.com/bitwuzla/bitwuzla Upstream-Name: bitwuzla Files: * Copyright: 2018-2025 Aina Niemetz, Stanford University 2018-2025 Mathias Preiner, Stanford University Comment: Bitwuzlas's copyright is held by these individuals and the affiliated institutions at the time of their contributions. License: Expat Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: . The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. . THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. Files: debian/* Copyright: 2025 Gábor Németh <homar@riseup.net> License: GPL-3+ This package 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 package. If not, see <https://www.gnu.org/licenses/>. Comment: On Debian systems, the complete text of the GNU General Public License version 3 can be found in "/usr/share/common-licenses/GPL-3". | |
Timestamp: 31.12.2025 / 11:02:59 (UTC)