blob: 8de2d66774382381200272733b7500f9d84ebfe4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
pkgbase = cryptominisat4
pkgdesc = A modern, multi-threaded, feature-rich, simplifying SAT solver
pkgver = 4.2.0
pkgrel = 1
url = http://www.msoos.org/cryptominisat4/
arch = i686
arch = x86_64
license = LGPL
makedepends = python2
makedepends = boost
depends = zlib
depends = gcc-libs
depends = boost-libs
depends = intel-tbb
optdepends = python2: python module
source = http://msoos.org/largefiles/cryptominisat-4.2.0.tar.bz2
md5sums = d12ed2839160ad946a3925c8eec94a39
pkgname = cryptominisat4
|