Package Details: boolector 2.2.0-2

Git Clone URL: https://aur.archlinux.org/boolector.git (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: http://fmv.jku.at/boolector/
Licenses: custom
Submitter: Ice_Phoenix
Maintainer: Ice_Phoenix
Last Packager: Ice_Phoenix
Votes: 0
Popularity: 0.000000
First Submitted: 2016-12-13 13:19
Last Updated: 2016-12-13 14:29

Dependencies (0)

Required by (1)

Sources (1)