%FILENAME%
cryptominisat-2.9.11-1-armv7h.pkg.tar.xz

%NAME%
cryptominisat

%VERSION%
2.9.11-1

%DESC%
SAT solver that aims to become a premier SAT solver with all the features and speed of successful SAT solvers, such as MiniSat and PrecoSat

%CSIZE%
290936

%ISIZE%
1187840

%MD5SUM%
52acf7a4c82da2b773f7a6d3f8308650

%SHA256SUM%
cb86f851feafac19b1e155b1e437706f3e6f8877d291ceba5a7071db05f04791

%PGPSIG%
iQIcBAABCAAGBQJXDLvyAAoJEHcZPxUr2+amRkAP/RImblwfK+He4m+lvQ/jVJudOZhaNwF+cRpQBJSky8S2kZJ9x+pECONuP/RrsmCcSaP//BG4KHzAdOG97Yjlrq028HX9Qi7K6XFeqnmyI/l5A9iuXpWIQnmVQFRVISdHZGU0dtbcscee6nHdy2JfTv2nDIe/BcekNK8zWBp9ZRZEL/K4YjrSHbI2bUA4zYWUKxOQ/ZiCHPNkr1GcJSp8GTPfK2vrhHWov4XMN8X5ZLmtVwiq7OW8I8q4QUTIZoDeUKJtyUUCoiqm84zsXGPtdBq99XGXqsStYMbd9cwvgnEX/mxHONJgjaYErq8wHxph1d3SPnuBFaf14hYXcNGfjtPHJ8DtL9xKhkqFxHblz+F9Vm8+0P7xtQupxXiKz2rgSsQqcXruUB7zecLawrZv4/FN0t/ERqjDNDxxYk+T+d3IUhreFHLd3W3JZyBuedA1tx8CNO274Td/TAgSEtA3L7erDOMyiwC5tn0E6w74KnZhcHJ3bWzGpRF9AV8cweZ7xX8de+zTmprepKK2DBqUWYY8HN+CGL85nt0uiXoIpd49FlGJUEtoNvOOC+RPhbarvBjyMLDGFPqoie8Xkm7ZmEwDcyeK93WjFDuYYjzyhmN6cOq0uzKxeed8h3BZysIJsq0i5nNdaRZ2LyTnzL7ERI9OhiuKgwnH1/J8wa3FO81k

%URL%
http://www.msoos.org/cryptominisat2/

%LICENSE%
LGPL

%ARCH%
armv7h

%BUILDDATE%
1460452334

%PACKAGER%
Arch Linux ARM Build System <builder+xu3@archlinuxarm.org>

