# Generated by mksrcinfo v8
# Mon Apr 29 21:05:57 UTC 2019
pkgbase = cryptominisat5-git
	pkgdesc = A modern multi-threaded SAT solver. With experimental features enabled.
	pkgver = 5.6.8.r171.gc1b9ed65
	pkgrel = 1
	url = https://github.com/msoos/cryptominisat/
	arch = x86_64
	license = MIT
	makedepends = git
	makedepends = python2
	makedepends = python
	makedepends = boost
	makedepends = cmake
	makedepends = vim
	makedepends = help2man
	depends = zlib
	depends = gcc-libs
	depends = boost-libs
	depends = intel-tbb
	optdepends = python2: python2 module
	optdepends = python: python module
	provides = cryptominisat5
	conflicts = cryptominisat5
	source = git+https://github.com/msoos/cryptominisat/
	md5sums = SKIP

pkgname = cryptominisat5-git