blob: 7ba854a86d98cf1f9cb4d16d79c0e32412d63754 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = boolector-git
pkgdesc = A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions
pkgver = r10213.b9d1bef7
pkgrel = 1
url = https://github.com/Boolector/boolector
arch = any
license = MIT
depends = btor2tools-git
source = git://github.com/Boolector/boolector.git
sha256sums = SKIP
sha512sums = SKIP
pkgname = boolector-git
|