Package Details: boolector 3.2.2-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: MIT
Conflicts: boolector-git
Submitter: Ice_Phoenix
Maintainer: Ice_Phoenix (abdullin.am)
Last Packager: abdullin.am
Votes: 1
Popularity: 0.000000
First Submitted: 2016-12-13 13:19
Last Updated: 2021-07-15 15:06

Dependencies (3)

Required by (4)

Sources (1)

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').