Package Details: boolector-git 9758.df7cc3ac-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: MIT
Submitter: deian
Maintainer: deian
Last Packager: deian
Votes: 0
Popularity: 0.000000
First Submitted: 2018-06-15 19:03
Last Updated: 2018-10-12 23:17

Dependencies (0)

Required by (0)

Sources (1)