Search Criteria
Package Details: boolector 3.2.1-1
Git Clone URL: | https://aur.archlinux.org/boolector.git (read-only, click to copy) |
---|---|
Package Base: | boolector |
Description: | Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays. |
Upstream URL: | http://boolector.github.io/ |
Licenses: | |
Conflicts: | |
Submitter: | Ice_Phoenix |
Maintainer: | Ice_Phoenix (abdullin.am) |
Last Packager: | abdullin.am |
Votes: | 1 |
Popularity: | 0.000001 |
First Submitted: | 2016-12-13 13:19 |
Last Updated: | 2020-12-29 07:02 |
Dependencies (3)
Required by (3)
- boolector-java
- cryptol-git (optional)
- symbiyosys-git (optional)
Latest Comments
xiretza commented on 2019-05-08 17:20
Requires this patch in order to build: https://github.com/Boolector/boolector/commit/457be37cf5976c146d0d3c0285477a06018f1c5d (raw patch)
Also,
makedepends=('git' 'cmake')
.