summarylogtreecommitdiffstats
path: root/.AURINFO
blob: f63130ee877bf7a48d30abeb5ac67602dff83bed (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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

pkgname = cryptominisat4