Debian NEW package overview for btor2tools
| btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.changes (click to toggle) | |
|---|---|
| Format: | 1.8 |
| Date: | Sat, 23 Aug 2025 06:54:26 +0200 |
| Source: | btor2tools |
| Binary: | btor2tools btor2tools-dbgsym libbtor2parser-dev libbtor2parser0 libbtor2parser0-dbgsym |
| Architecture: | source amd64 |
| Version: | 1.0.2~git20250507.fb69ee3-1 |
| Distribution: | unstable |
| Urgency: | medium |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Changed-By: | Andreas Tille <tille@debian.org> |
| Description: | btor2tools - generic parser and tools for the BTOR2 format libbtor2parser-dev - development lib for generic parser and tools for the BTOR2 format libbtor2parser0 - library for generic parser and tools for the BTOR2 format |
| Closes: | 1111868 |
| Changes: | btor2tools (1.0.2~git20250507.fb69ee3-1) unstable; urgency=medium * Initial release (Closes: #1111868) |
| Files: | 3e7cf578543cff67bb9c593cb22abe32 2264 science optional btor2tools_1.0.2~git20250507.fb69ee3-1.dsc 6f0fa48c3463ce278370d70890d4a68b 62652 science optional btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz 5def3c0e7f1e372976e7fddcb2121a9b 3096 science optional btor2tools_1.0.2~git20250507.fb69ee3-1.debian.tar.xz 58de1fd92059966347b92cfc9e5b8ad4 651592 debug optional btor2tools-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb c82b63f97b560ae01fda0544bb3a571c 8510 science optional btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.buildinfo a24e658d7879ae5ae8686275313a552f 66280 science optional btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.deb 9db5450f4c0d5cdf9927deef5d41b99f 17420 libdevel optional libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_amd64.deb a2268cf51a4b20b1fb012bb095e0587d 40900 debug optional libbtor2parser0-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb 0b7e2e8654f59ac231a6a91a9c954888 15556 libs optional libbtor2parser0_1.0.2~git20250507.fb69ee3-1_amd64.deb |
| btor2tools_1.0.2~git20250507.fb69ee3-1.dsc (click to toggle) | |
|---|---|
| Format: | 3.0 (quilt) |
| Source: | btor2tools |
| Binary: | btor2tools, libbtor2parser0, libbtor2parser-dev |
| Architecture: | any |
| Version: | 1.0.2~git20250507.fb69ee3-1 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Uploaders: | Andreas Tille <tille@debian.org> |
| Homepage: | https://github.com/boolector/btor2tools |
| Standards-Version: | 4.7.2 |
| Vcs-Browser: | https://salsa.debian.org/science-team/btor2tools |
| Vcs-Git: | https://salsa.debian.org/science-team/btor2tools.git |
| Build-Depends: | debhelper-compat (=13), cmake, d-shlibs |
| Package-List: | btor2tools deb science optional arch=any libbtor2parser-dev deb libdevel optional arch=any libbtor2parser0 deb libs optional arch=any |
| Files: | 6f0fa48c3463ce278370d70890d4a68b 62652 btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz 5def3c0e7f1e372976e7fddcb2121a9b 3096 btor2tools_1.0.2~git20250507.fb69ee3-1.debian.tar.xz |
| README.source for btor2tools_1.0.2~git20250507.fb69ee3-1.dsc (click to toggle) | |
|---|---|
| No README.source in this package | |
| control file for btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.deb (click to toggle) | |
|---|---|
| Package: | btor2tools |
| Version: | 1.0.2~git20250507.fb69ee3-1 |
| Architecture: | amd64 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Installed-Size: | 195 |
| Depends: | libbtor2parser0 (>=1.0.2~git20250507.fb69ee3), libc6 (>=2.34), libgcc-s1 (>=3.0), libstdc++6 (>=13.1), libbtor2tools0 |
| Section: | science |
| Priority: | optional |
| Homepage: | https://github.com/boolector/btor2tools |
| Description: | generic parser and tools for the BTOR2 format BTOR2 is a word-level model checking format for capturing models of hardware and potentially software in a bit-precise manner. This simple, line-based and easy to parse format can be seen as a sorted extension of the word-level format BTOR. It uses design principles from the bit-level format AIGER and follows semantics of the SMT-LIB logics of bit-vectors with arrays. This intermediate format can be used in various verification flows and is perfectly suited to establish a word-level model checking competition. |
| contents of btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.deb (click to toggle) | |
|---|---|
drwxr-xr-x root/root 0 2025-08-23 04:54 ./ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/bin/ -rwxr-xr-x root/root 145832 2025-08-23 04:54 ./usr/bin/btorsim -rwxr-xr-x root/root 27024 2025-08-23 04:54 ./usr/bin/btorsplit -rwxr-xr-x root/root 14576 2025-08-23 04:54 ./usr/bin/catbtor drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/share/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/share/doc/btor2tools/ -rw-r--r-- root/root 171 2025-08-23 04:54 ./usr/share/doc/btor2tools/changelog.Debian.gz -rw-r--r-- root/root 1432 2025-08-23 04:54 ./usr/share/doc/btor2tools/copyright | |
| copyright of btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.deb (click to toggle) | |
|---|---|
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: btor2tools
Source: https://github.com/hwmcc/btor2tools
Files: *
Copyright: 2012-2018 Armin Biere.
2013-2018 Mathias Preiner.
2015-2018 Aina Niemetz.
License: expat
Files: debian/*
Copyright: 2025 Andreas Tille <tille@debian.org>
License: expat
License: expat
MIT License
.
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.
| |
| control file for btor2tools-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb (click to toggle) | |
|---|---|
| Package: | btor2tools-dbgsym |
| Source: | btor2tools |
| Version: | 1.0.2~git20250507.fb69ee3-1 |
| Auto-Built-Package: | debug-symbols |
| Architecture: | amd64 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Installed-Size: | 717 |
| Depends: | btor2tools (=1.0.2~git20250507.fb69ee3-1) |
| Section: | debug |
| Priority: | optional |
| Description: | debug symbols for btor2tools |
| Build-Ids: | 2ec9d7f3a353e00d4ff824133881c6bbdff10f9f 6568e05677a349c33a4ab3c701b46e1053d535f7 9b493d4c1334751d09a07556465e768d8cbb1d5b |
| contents of btor2tools-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb (click to toggle) | |
|---|---|
drwxr-xr-x root/root 0 2025-08-23 04:54 ./ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/lib/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/lib/debug/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/lib/debug/.build-id/2e/ -rw-r--r-- root/root 13944 2025-08-23 04:54 ./usr/lib/debug/.build-id/2e/c9d7f3a353e00d4ff824133881c6bbdff10f9f.debug drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/lib/debug/.build-id/65/ -rw-r--r-- root/root 99208 2025-08-23 04:54 ./usr/lib/debug/.build-id/65/68e05677a349c33a4ab3c701b46e1053d535f7.debug drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/lib/debug/.build-id/9b/ -rw-r--r-- root/root 584968 2025-08-23 04:54 ./usr/lib/debug/.build-id/9b/493d4c1334751d09a07556465e768d8cbb1d5b.debug drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/lib/debug/.dwz/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/lib/debug/.dwz/x86_64-linux-gnu/ -rw-r--r-- root/root 19552 2025-08-23 04:54 ./usr/lib/debug/.dwz/x86_64-linux-gnu/btor2tools.debug drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/share/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/share/doc/ lrwxrwxrwx root/root 0 2025-08-23 04:54 ./usr/share/doc/btor2tools-dbgsym -> btor2tools | |
| copyright of btor2tools-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb (click to toggle) | |
|---|---|
WARNING: No copyright found, please check package manually. | |
| control file for libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_amd64.deb (click to toggle) | |
|---|---|
| Package: | libbtor2parser-dev |
| Source: | btor2tools |
| Version: | 1.0.2~git20250507.fb69ee3-1 |
| Architecture: | amd64 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Installed-Size: | 68 |
| Depends: | libbtor2parser0 (=1.0.2~git20250507.fb69ee3-1) |
| Section: | libdevel |
| Priority: | optional |
| Homepage: | https://github.com/boolector/btor2tools |
| Description: | development lib for generic parser and tools for the BTOR2 format BTOR2 is a word-level model checking format for capturing models of hardware and potentially software in a bit-precise manner. This simple, line-based and easy to parse format can be seen as a sorted extension of the word-level format BTOR. It uses design principles from the bit-level format AIGER and follows semantics of the SMT-LIB logics of bit-vectors with arrays. This intermediate format can be used in various verification flows and is perfectly suited to establish a word-level model checking competition. . This package provides the header file and the static library. |
| lintian 2.116.3 check for libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_amd64.deb (click to toggle) | |
|---|---|
| contents of libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_amd64.deb (click to toggle) | |
|---|---|
drwxr-xr-x root/root 0 2025-08-23 04:54 ./ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/include/ -rw-r--r-- root/root 5719 2025-05-07 23:45 ./usr/include/btor2parser.h drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/lib/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/lib/x86_64-linux-gnu/ -rw-r--r-- root/root 49668 2025-08-23 04:54 ./usr/lib/x86_64-linux-gnu/libbtor2parser.a drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/share/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/share/doc/libbtor2parser-dev/ -rw-r--r-- root/root 171 2025-08-23 04:54 ./usr/share/doc/libbtor2parser-dev/changelog.Debian.gz -rw-r--r-- root/root 1432 2025-08-23 04:54 ./usr/share/doc/libbtor2parser-dev/copyright lrwxrwxrwx root/root 0 2025-08-23 04:54 ./usr/lib/x86_64-linux-gnu/libbtor2parser.so -> libbtor2parser.so.0 | |
| copyright of libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_amd64.deb (click to toggle) | |
|---|---|
NOTE: Copyright is the same as btor2tools (btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.deb). Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: btor2tools
Source: https://github.com/hwmcc/btor2tools
Files: *
Copyright: 2012-2018 Armin Biere.
2013-2018 Mathias Preiner.
2015-2018 Aina Niemetz.
License: expat
Files: debian/*
Copyright: 2025 Andreas Tille <tille@debian.org>
License: expat
License: expat
MIT License
.
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.
| |
| control file for libbtor2parser0_1.0.2~git20250507.fb69ee3-1_amd64.deb (click to toggle) | |
|---|---|
| Package: | libbtor2parser0 |
| Source: | btor2tools |
| Version: | 1.0.2~git20250507.fb69ee3-1 |
| Architecture: | amd64 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Installed-Size: | 52 |
| Depends: | libc6 (>=2.14) |
| Section: | libs |
| Priority: | optional |
| Homepage: | https://github.com/boolector/btor2tools |
| Description: | library for generic parser and tools for the BTOR2 format BTOR2 is a word-level model checking format for capturing models of hardware and potentially software in a bit-precise manner. This simple, line-based and easy to parse format can be seen as a sorted extension of the word-level format BTOR. It uses design principles from the bit-level format AIGER and follows semantics of the SMT-LIB logics of bit-vectors with arrays. This intermediate format can be used in various verification flows and is perfectly suited to establish a word-level model checking competition. . This package provides the shared library. |
| contents of libbtor2parser0_1.0.2~git20250507.fb69ee3-1_amd64.deb (click to toggle) | |
|---|---|
drwxr-xr-x root/root 0 2025-08-23 04:54 ./ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/lib/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/lib/x86_64-linux-gnu/ -rw-r--r-- root/root 38824 2025-08-23 04:54 ./usr/lib/x86_64-linux-gnu/libbtor2parser.so.0.1.0 drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/share/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/share/doc/libbtor2parser0/ -rw-r--r-- root/root 171 2025-08-23 04:54 ./usr/share/doc/libbtor2parser0/changelog.Debian.gz -rw-r--r-- root/root 1432 2025-08-23 04:54 ./usr/share/doc/libbtor2parser0/copyright lrwxrwxrwx root/root 0 2025-08-23 04:54 ./usr/lib/x86_64-linux-gnu/libbtor2parser.so.0 -> libbtor2parser.so.0.1.0 | |
| copyright of libbtor2parser0_1.0.2~git20250507.fb69ee3-1_amd64.deb (click to toggle) | |
|---|---|
NOTE: Copyright is the same as btor2tools (btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.deb). Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: btor2tools
Source: https://github.com/hwmcc/btor2tools
Files: *
Copyright: 2012-2018 Armin Biere.
2013-2018 Mathias Preiner.
2015-2018 Aina Niemetz.
License: expat
Files: debian/*
Copyright: 2025 Andreas Tille <tille@debian.org>
License: expat
License: expat
MIT License
.
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.
| |
| control file for libbtor2parser0-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb (click to toggle) | |
|---|---|
| Package: | libbtor2parser0-dbgsym |
| Source: | btor2tools |
| Version: | 1.0.2~git20250507.fb69ee3-1 |
| Auto-Built-Package: | debug-symbols |
| Architecture: | amd64 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Installed-Size: | 54 |
| Depends: | libbtor2parser0 (=1.0.2~git20250507.fb69ee3-1) |
| Section: | debug |
| Priority: | optional |
| Description: | debug symbols for libbtor2parser0 |
| Build-Ids: | 1bb66a210a74589f57a91171c624899642e08ea3 |
| lintian 2.116.3 check for libbtor2parser0-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb (click to toggle) | |
|---|---|
| contents of libbtor2parser0-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb (click to toggle) | |
|---|---|
drwxr-xr-x root/root 0 2025-08-23 04:54 ./ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/lib/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/lib/debug/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/lib/debug/.build-id/1b/ -rw-r--r-- root/root 44320 2025-08-23 04:54 ./usr/lib/debug/.build-id/1b/b66a210a74589f57a91171c624899642e08ea3.debug drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/share/ drwxr-xr-x root/root 0 2025-08-23 04:54 ./usr/share/doc/ lrwxrwxrwx root/root 0 2025-08-23 04:54 ./usr/share/doc/libbtor2parser0-dbgsym -> libbtor2parser0 | |
| copyright of libbtor2parser0-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb (click to toggle) | |
|---|---|
WARNING: No copyright found, please check package manually. | |
Timestamp: 23.08.2025 / 06:02:57 (UTC)