Information for boolector

Versions

• 3.2.2.r18.g1a89c229
• 3.2.2_p20220110
• 3.2.2 (6)
• 1.5.118.6b56be4.121013

Package names

• boolector (8)
• boolector-git

Repositories

• AUR
• Debian 10
• Debian 11
• Debian 12
• Debian Unstable
• Deepin
• Devuan 3.0
• Devuan 4.0
• Devuan Unstable
• DPorts
• FreeBSD Ports
• Gentoo
• GNU Guix
• Homebrew
• Kali Linux Rolling
• LiGurOS stable
• LiGurOS develop
• MacPorts
• nixpkgs stable 21.11
• nixpkgs stable 22.05
• nixpkgs stable 22.11
• nixpkgs stable 23.05
• nixpkgs unstable
• Pardus 21
• Parrot
• PureOS Amber
• PureOS landing
• Raspbian Oldstable
• Raspbian Stable
• Raspbian Testing
• Trisquel 10.0
• Trisquel 11.0
• Ubuntu 14.04
• Ubuntu 16.04
• Ubuntu 18.04
• Ubuntu 20.04
• Ubuntu 22.04
• Ubuntu 22.10
• Ubuntu 23.04
• Ubuntu 23.10

Categories

• math (2)
• sci-mathematics
• science
• universe/science

Licenses

• MIT (4)

Summaries

• A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions
• An extremely fast SMT solver for bit-vectors and arrays
• Bitvector-based theory solver
• Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays.
• Fast SMT solver for bit-vectors, arrays and uninterpreted functions
• SMT solver for fixed-size bit-vectors
• Satisfiability Modulo Theories (SMT) solver
• an SMT solver for the theory of bit-vectors

Maintainers

• aseipp@pobox.com
• ice_phoenix@aur
• mt@debian.org
• nomaintainer@macports.org
• sci-mathematics@gentoo.org
• ubuntu-devel-discuss@lists.ubuntu.com
• xiretza@aur
• yuri@freebsd.org

• Group email

Homepage links

• http://boolector.github.io/^redir (2)
• http://fmv.jku.at/boolector/^redir
• https://boolector.github.io/^ok (4)
• https://github.com/Boolector/boolector^{ok, no IPv6} (3)
• https://github.com/Boolector/boolector/^{ok, no IPv6}

All package recipes

• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=boolector^ok
• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=boolector-git^ok
• https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/maths.scm#n6098^ok
• https://github.com/DragonFlyBSD/DPorts/blob/master/math/boolector/Makefile^{ok, no IPv6}
• https://github.com/Homebrew/homebrew-core/blob/master/Formula/boolector.rb^{ok, no IPv6}
• https://github.com/macports/macports-ports/blob/master/math/boolector/Portfile^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/applications/science/logic/boolector/default.nix#L64^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/applications/science/logic/boolector/default.nix#L64^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/applications/science/logic/boolector/default.nix#L64^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/applications/science/logic/boolector/default.nix#L64^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-23.05/pkgs/applications/science/logic/boolector/default.nix#L64^{ok, no IPv6}
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild^ok

Downloads

• https://github.com/Boolector/boolector^{ok, no IPv6}
• https://github.com/Boolector/boolector/archive/13a8a06d561041cafcaf5458e404c1ec354b2841.tar.gz^{ok, no IPv6}

Build logs

• https://sting.dragonflybsd.org/dports/logs/math___boolector.log^{ok, no IPv6}