Toggle navigation
Projects
Maintainers
Repositories
Tools
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
boolector
36
package(s) known
AUR
boolector
3.2.2 (3.2.2-1)
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
r10285.6fce0ac3 (r10285.6fce0ac3-1)
Summary:
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions
Maintainer:
deian@aur
License:
MIT
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Debian Oldstable
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
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
4
6
Package statistics
4
6
Debian Stable
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
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
4
6
Package statistics
4
6
Debian Testing
testing/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 Unstable
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
Deepin
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 1.0 (Jessie)
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)
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)
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)
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)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
DPorts
math/boolector
3.2.1
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)
Maintainer:
mt@debian.org
Category:
science
Links(s):
Upstream homepage
4
6
MacPorts
boolector
1.4.1-376e6b0-110304
Summary:
Boolector is an SMT solver for the theory of bit-vectors
Maintainer:
nomaintainer@macports.org
Category:
math
License:
GPL-3
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
nixpkgs stable
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 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
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)
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
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 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 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 20.10
groovy/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 21.04
hirsute/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