Search Criteria
Package Details: boolector-git r9913.0b4b8540-1
Git Clone URL: | https://aur.archlinux.org/boolector-git.git (read-only) |
---|---|
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 |
Licenses: | |
Submitter: | deian |
Maintainer: | deian |
Last Packager: | deian |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2018-06-15 19:03 |
Last Updated: | 2019-06-13 22:18 |
Latest Comments
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: