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: MIT
Conflicts: boolector
Provides: boolector
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)

Sources (1)

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:

CMake Error at /usr/share/cmake-3.13/Modules/FindPackageHandleStandardArgs.cmake:137 (message):
  Could NOT find Btor2Tools (missing: Btor2Tools_INCLUDE_DIR)
Call Stack (most recent call first):
  /usr/share/cmake-3.13/Modules/FindPackageHandleStandardArgs.cmake:378 (_FPHSA_FAILURE_MESSAGE)
  cmake/FindBtor2Tools.cmake:10 (find_package_handle_standard_args)
  CMakeLists.txt:284 (find_package)