Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
boolector
44
package(s) known
AUR
boolector
3.2.2
(3.2.2-2)
Summary:
Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays.
Maintainer:
ice_phoenix@aur
License:
MIT
Link(s):
Package page
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
redir
AUR
boolector-git
3.2.2.r18.g1a89c229
(3.2.2.r18.g1a89c229-1)
Summary:
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions
Maintainer:
xiretza@aur
License:
MIT
Link(s):
Package page
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Debian 10
buster/main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
redir
Debian 11
bullseye/main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
redir
Debian 12
bookworm/main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1.3)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
redir
Debian 13
trixie/main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1.3)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
redir
Debian Unstable
sid/main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1.3)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
redir
Deepin
main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Link(s):
Upstream homepage
redir
Devuan 3.0
beowulf/main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
redir
Devuan 4.0
chimaera/main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
redir
Devuan Unstable
unstable/main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1.3)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
redir
FreeBSD Ports
math/boolector
3.2.3
Summary:
Satisfiability Modulo Theories (SMT) solver
Maintainer:
yuri@freebsd.org
Category:
math
Link(s):
Package page
ok
Package sources
ok
Package recipe (raw)
ok
Package issue tracker
ok
Upstream homepage
ok
Gentoo
sci-mathematics/boolector
3.2.3
Summary:
Fast SMT solver for bit-vectors, arrays and uninterpreted functions
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Gentoo
sci-mathematics/boolector
3.2.2_p20220110
Summary:
Fast SMT solver for bit-vectors, arrays and uninterpreted functions
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
GNU Guix
boolector
3.2.2
Summary:
Bitvector-based theory solver
Link(s):
Package page
ok
Package recipe
ok
Upstream homepage
ok
Upstream download
ok
,
no IPv6
Homebrew
boolector
3.2.3
Summary:
SMT solver for fixed-size bit-vectors
Link(s):
Package page
ok
Package recipe
dead
(see archive.org)
Package recipe (raw)
dead
(see archive.org)
Upstream homepage
ok
Upstream download
ok
,
no IPv6
Kali Linux Rolling
main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1.3)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
redir
LiGurOS stable
sci-mathematics/boolector
3.2.2_p20220110
Summary:
Fast SMT solver for bit-vectors, arrays and uninterpreted functions
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
MIT
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
Upstream homepage
ok
,
no IPv6
LiGurOS develop
sci-mathematics/boolector
3.2.3
Summary:
Fast SMT solver for bit-vectors, arrays and uninterpreted functions
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
MIT
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
Upstream homepage
ok
,
no IPv6
LiGurOS develop
sci-mathematics/boolector
3.2.2_p20220110
Summary:
Fast SMT solver for bit-vectors, arrays and uninterpreted functions
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
MIT
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
Upstream homepage
ok
,
no IPv6
MacPorts
boolector
3.2.2
Summary:
an SMT solver for the theory of bit-vectors
Maintainer:
nomaintainer@macports.org
Category:
math
License:
MIT
Link(s):
Package page
ok
,
no IPv6
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Package issue tracker
ok
Package statistics
ok
,
no IPv6
Package build status
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 21.11
boolector
3.2.2
Summary:
An extremely fast SMT solver for bit-vectors and arrays
Maintainer:
aseipp@pobox.com
License:
MIT
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 22.05
boolector
3.2.2
Summary:
An extremely fast SMT solver for bit-vectors and arrays
Maintainer:
aseipp@pobox.com
License:
MIT
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 22.11
boolector
3.2.2
Summary:
An extremely fast SMT solver for bit-vectors and arrays
Maintainer:
aseipp@pobox.com
License:
MIT
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.05
boolector
3.2.2
Summary:
An extremely fast SMT solver for bit-vectors and arrays
Maintainer:
aseipp@pobox.com
License:
MIT
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.11
boolector
3.2.2
Summary:
An extremely fast SMT solver for bit-vectors and arrays
Maintainer:
aseipp@pobox.com
License:
MIT
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
boolector
3.2.2
Summary:
An extremely fast SMT solver for bit-vectors and arrays
Maintainer:
aseipp@pobox.com
License:
MIT
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
Pardus 21
main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
redir
Parrot
parrot-updates/main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
redir
Parrot
parrot/main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
redir
PureOS Amber
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
redir
PureOS landing
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1.3)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
redir
Raspbian Oldstable
main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
redir
Raspbian Stable
main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1.3)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
redir
Raspbian Testing
main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1.3)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
redir
Trisquel 10.0
nabia/main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1build1)
Maintainer:
ubuntu-devel-discuss@lists.ubuntu.com
Category:
universe/science
Link(s):
Package page
ok
Upstream homepage
redir
Trisquel 11.0
aramo/main
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1.1)
Maintainer:
mt@debian.org
Category:
universe/science
Link(s):
Package page
ok
Upstream homepage
redir
Ubuntu 14.04
trusty/universe
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
universe/science
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 16.04
xenial/universe
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
universe/science
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 18.04
bionic/universe
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1build1)
Maintainer:
ubuntu-devel-discuss@lists.ubuntu.com
Category:
universe/science
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 20.04
focal/universe
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1build1)
Maintainer:
ubuntu-devel-discuss@lists.ubuntu.com
Category:
universe/science
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 22.04
jammy/universe
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1.1)
Maintainer:
mt@debian.org
Category:
universe/science
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 23.04
lunar/universe
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1.3)
Maintainer:
mt@debian.org
Category:
universe/science
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 23.10
mantic/universe
boolector
1.5.118.6b56be4.121013
(1.5.118.6b56be4.121013-1.3)
Maintainer:
mt@debian.org
Category:
universe/science
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir