Search Criteria
Package Details: boolector 3.2.2-2
Package Actions
| 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: | MIT |
| Conflicts: | boolector-git |
| Submitter: | Ice_Phoenix |
| Maintainer: | Ice_Phoenix (abdullin.am) |
| Last Packager: | abdullin.am |
| Votes: | 2 |
| Popularity: | 0.000000 |
| First Submitted: | 2016-12-13 13:19 (UTC) |
| Last Updated: | 2021-11-15 13:52 (UTC) |
Dependencies (3)
Required by (6)
- binsec (optional)
- boolector-java
- radius2-git
- sby-nightly (optional)
- symbiyosys-git (optional)
- symbiyosys-nightly (optional)
Latest Comments
xiretza commented on 2019-05-08 17:20 (UTC)
Requires this patch in order to build: https://github.com/Boolector/boolector/commit/457be37cf5976c146d0d3c0285477a06018f1c5d (raw patch)
Also,
makedepends=('git' 'cmake').