# Generated by mksrcinfo v8
# Thu Nov 17 19:17:23 UTC 2016
pkgbase = cryptominisat4
	pkgdesc = A modern, multi-threaded, feature-rich, simplifying SAT solver
	pkgver = 4.5.3
	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 = cms4-4.5.3.tgz::https://github.com/msoos/cryptominisat/archive/4.5.3.tar.gz
	md5sums = 7ad723a166409ef567224dd45554c45e

pkgname = cryptominisat4