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.0 (3.2.0-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
Package-related links:
AUR package details
View PKGBUILD
ArchWiki search
Homepage:
http://boolector.github.io/
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
Package-related links:
AUR package details
View PKGBUILD
ArchWiki search
Homepage:
https://github.com/Boolector/boolector
4
6
Debian Oldstable
oldstable/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Package-related links:
Package details on packages.debian.org
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://fmv.jku.at/boolector/
4
6
Debian Stable
stable/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Package-related links:
Package details on packages.debian.org
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://fmv.jku.at/boolector/
4
6
Debian Testing
testing/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Package-related links:
Package details on packages.debian.org
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://fmv.jku.at/boolector/
4
6
Debian Unstable
main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Package-related links:
Package details on packages.debian.org
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://fmv.jku.at/boolector/
4
6
Deepin
main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Homepage:
http://fmv.jku.at/boolector/
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
Homepage:
http://fmv.jku.at/boolector/
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
Homepage:
http://fmv.jku.at/boolector/
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
Homepage:
http://fmv.jku.at/boolector/
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
Homepage:
http://fmv.jku.at/boolector/
4
6
Devuan Unstable
unstable/main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Homepage:
http://fmv.jku.at/boolector/
4
6
DPorts
math/boolector
3.2.1
Summary:
Satisfiability Modulo Theories (SMT) solver
Maintainer:
yuri@freebsd.org
Category:
math
Package-related links:
DPorts git
DPorts Makefile
Synth build log
FreeBSD FreshPorts page
FreeBSD SVNWeb
FreeBSD Port's Makefile
FreeBSD PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
https://boolector.github.io/
4
6
FreeBSD Ports
math/boolector
3.2.1
Summary:
Satisfiability Modulo Theories (SMT) solver
Maintainer:
yuri@freebsd.org
Category:
math
Package-related links:
FreshPorts page
SVNWeb
Port's Makefile
PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
https://boolector.github.io/
4
6
Kali Linux Rolling
main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Package-related links:
Git repository
Homepage:
http://fmv.jku.at/boolector/
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
Package-related links:
Port page on MacPorts.org
Port directory in GitHub repository
Homepage:
http://fmv.jku.at/boolector/
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
Package-related links:
Package source (release branch)
Package source (master branch, imprecise link)
Homepage:
https://boolector.github.io/
4
6
nixpkgs unstable
boolector
3.2.1
Summary:
An extremely fast SMT solver for bit-vectors and arrays
Maintainer:
aseipp@pobox.com
License:
MIT
Package-related links:
Package source
Homepage:
https://boolector.github.io/
4
6
Pardus
main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Homepage:
http://fmv.jku.at/boolector/
4
6
Parrot
main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Homepage:
http://fmv.jku.at/boolector/
4
6
PureOS Amber
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
misc
Homepage:
http://fmv.jku.at/boolector/
4
6
PureOS landing
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
misc
Homepage:
http://fmv.jku.at/boolector/
4
6
Raspbian Oldstable
main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Homepage:
http://fmv.jku.at/boolector/
4
6
Raspbian Stable
main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Homepage:
http://fmv.jku.at/boolector/
4
6
Raspbian Testing
main
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1)
Maintainer:
mt@debian.org
Category:
science
Homepage:
http://fmv.jku.at/boolector/
4
6
Trisquel 6.0
toutatis/main
boolector
1.4.ffc2089.100608 (1.4.ffc2089.100608-1)
Maintainer:
mt@debian.org
Category:
universe/science
Homepage:
http://fmv.jku.at/boolector/
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
Homepage:
http://fmv.jku.at/boolector/
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
Homepage:
http://fmv.jku.at/boolector/
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
Homepage:
http://fmv.jku.at/boolector/
4
6
Ubuntu 12.04
precise/universe
boolector
1.4.ffc2089.100608 (1.4.ffc2089.100608-1)
Maintainer:
mt@debian.org
Category:
universe/science
Package-related links:
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://fmv.jku.at/boolector/
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
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://fmv.jku.at/boolector/
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
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://fmv.jku.at/boolector/
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
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://fmv.jku.at/boolector/
4
6
Ubuntu 19.10
eoan/universe
boolector
1.5.118.6b56be4.121013 (1.5.118.6b56be4.121013-1build1)
Maintainer:
ubuntu-devel-discuss@lists.ubuntu.com
Category:
universe/science
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://fmv.jku.at/boolector/
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
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://fmv.jku.at/boolector/
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
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://fmv.jku.at/boolector/
4
6