Information for btor2tools

Versions

• r79.6ba194b
• 20220518
• 1.0.0_pre20220518
• 1.0.0-pre_9831f9909fb283752a3d6d60d43613173bd8af42
• 1.0.0-pre-1.b8456dd
• g20320816

Package names

• btor2tools (5)
• btor2tools-git

Repositories

• AUR
• FreeBSD Ports
• Gentoo
• GNU Guix
• LiGurOS stable
• LiGurOS develop
• MacPorts
• nixpkgs stable 21.11
• nixpkgs stable 22.05
• nixpkgs stable 22.11
• nixpkgs stable 23.05
• nixpkgs unstable

Categories

• math (2)
• sci-mathematics

Licenses

• MIT (4)

Summaries

• A generic parser and tool package for the BTOR2 format
• A generic parser and tool package for the BTOR2 format.
• Generic parser and tool package for the BTOR2 format
• Generic parser and tools for the BTOR2 format
• Parser for BTOR2 format
• a generic parser and tools for the BTOR2 format

Maintainers

• aseipp@pobox.com
• deian@aur
• nomaintainer@macports.org
• sci-mathematics@gentoo.org
• yuri@freebsd.org

• Group email

Homepage links

• https://boolector.github.io/^ok
• https://github.com/Boolector/btor2tools^{ok, no IPv6} (5)
• https://github.com/Boolector/btor2tools/^{ok, no IPv6}

All package recipes

• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=btor2tools-git^ok
• https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/maths.scm#n8840^ok
• https://github.com/macports/macports-ports/blob/master/math/btor2tools/Portfile^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/applications/science/logic/btor2tools/default.nix#L32^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/applications/science/logic/btor2tools/default.nix#L27^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/applications/science/logic/btor2tools/default.nix#L27^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/applications/science/logic/btor2tools/default.nix#L32^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-23.05/pkgs/applications/science/logic/btor2tools/default.nix#L32^{ok, no IPv6}
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild^ok

Downloads

• https://github.com/Boolector/btor2tools^{ok, no IPv6}
• https://github.com/Boolector/btor2tools/archive/b8456dda4780789e882f5791eb486f295ade4da4.tar.gz^{ok, no IPv6}