Search Criteria
Package Details: boolector-git r10285.6fce0ac3-1
Git Clone URL: | https://aur.archlinux.org/boolector-git.git (read-only, click to copy) |
---|---|
Package Base: | boolector-git |
Description: | A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions |
Upstream URL: | https://github.com/Boolector/boolector |
Keywords: | boolector smt |
Licenses: | |
Conflicts: | |
Provides: | |
Submitter: | deian |
Maintainer: | deian |
Last Packager: | deian |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2018-06-15 19:03 |
Last Updated: | 2020-08-18 21:51 |
Dependencies (1)
Required by (3)
- boolector-java (requires boolector)
- cryptol-git (requires boolector) (optional)
- symbiyosys-git (requires boolector) (optional)
Latest Comments
xiretza commented on 2020-06-10 20:25
This should be
provides=(boolector); conflicts=(boolector)
.deian commented on 2019-06-13 22:30
Should be fixed now. Just added btor2tools as a dependency.
maximaximal commented on 2019-03-08 15:54
This package is currently not building, CMake doesn't find Btor2Tools. Could the installation scripts in the contrib/ of the boolector repository help solving this issue?
Error: