Package Details: boolector 3.0.0-1

Git Clone URL: (read-only)
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:
Licenses: MIT
Submitter: Ice_Phoenix
Maintainer: Ice_Phoenix
Last Packager: Ice_Phoenix
Votes: 1
Popularity: 0.009787
First Submitted: 2016-12-13 13:19
Last Updated: 2019-03-05 17:14

Dependencies (0)

Required by (1)

Sources (1)

Latest Comments

xiretza commented on 2019-05-08 17:20

Requires this patch in order to build: (raw patch)

Also, makedepends=('git' 'cmake').