Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
boolector
43
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Debian 8
jessie/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package issue tracker
4
6
Package statistics
4
6
Debian 9
stretch/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package statistics
4
6
Debian 10
buster/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
Package statistics
4
6
Debian 11
bullseye/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
4
6
Package statistics
4
6
Debian 12
bookworm/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1.1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
Package statistics
4
6
Debian Unstable
sid/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1.1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
Package statistics
4
6
Deepin
main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Links(s):
Upstream homepage
4
6
Devuan 1.0
jessie/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
Devuan 2.0
ascii/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
Devuan 3.0
beowulf/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
Devuan 4.0
chimaera/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
Devuan Unstable
unstable/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1.1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
DPorts
math/boolector
3.2.2
Summary:
Satisfiability Modulo Theories (SMT) solver
Maintainer:
yuri@freebsd.org
Category:
math
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log
4
6
FreeBSD Ports
math/boolector
3.2.2
Summary:
Satisfiability Modulo Theories (SMT) solver
Maintainer:
yuri@freebsd.org
Category:
math
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe (raw)
4
6
Package issue tracker
4
6
Kali Linux Rolling
main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1.1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
MacPorts
boolector
3.2.2
Summary:
an SMT solver for the theory of bit-vectors
Maintainer:
nomaintainer@macports.org
Category:
math
License:
MIT
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Package issue tracker
4
6
Package statistics
4
6
Package build status
4
6
nixpkgs stable 21.05
boolector
3.2.1
Summary:
An extremely fast SMT solver for bit-vectors and arrays
Maintainer:
aseipp@pobox.com
License:
MIT
Links(s):
Upstream homepage
4
6
Package recipe
4
6
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
Links(s):
Upstream homepage
4
6
Package recipe
4
6
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
Links(s):
Upstream homepage
4
6
Package recipe
4
6
nixpkgs unstable
boolector
3.2.2
Summary:
An extremely fast SMT solver for bit-vectors and arrays
Maintainer:
aseipp@pobox.com
License:
MIT
Links(s):
Upstream homepage
4
6
Package recipe
4
6
Pardus 17
main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
Pardus 19
main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
Pardus 21
main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
Parrot
parrot-updates/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
Parrot
parrot/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
PureOS Amber
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
PureOS landing
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Raspbian Oldstable
main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
Raspbian Stable
main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
Raspbian Testing
main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1.1)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
Trisquel 6.0
toutatis/main
boolector
1.4.ffc2089.100608 (1.4.ffc2089.100608-1)
Maintainer:
mt@debian.org
Category:
universe/science
Links(s):
Upstream homepage
4
6
Trisquel 7.0
belenos/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
universe/science
Links(s):
Upstream homepage
4
6
Trisquel 8.0
flidas/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
universe/science
Links(s):
Upstream homepage
4
6
Trisquel 9.0
etiona/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1build1)
Maintainer:
ubuntu-devel-discuss@lists.ubuntu.com
Category:
universe/science
Links(s):
Upstream homepage
4
6
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
Links(s):
Upstream homepage
4
6
Ubuntu 14.04
trusty/universe
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
universe/science
Links(s):
Upstream homepage
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 16.04
xenial/universe
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
universe/science
Links(s):
Upstream homepage
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 22.10
kinetic/universe
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1.1)
Maintainer:
mt@debian.org
Category:
universe/science
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6