%FILENAME%
cryptominisat-2.9.10-2-armv7h.pkg.tar.xz

%NAME%
cryptominisat

%VERSION%
2.9.10-2

%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%
290444

%ISIZE%
1186816

%MD5SUM%
6af5d45817f0a75025bbf33e806e2ce9

%SHA256SUM%
9e047a71258f6e757e224da48453be249ed46ab3f90e862af499d3f7cba5ff8f

%PGPSIG%
iQIcBAABCAAGBQJWajLWAAoJEHcZPxUr2+ammtQQAK/KtduT2OFSU8FX8io820/jqDCuTlHnA2Cu6AbfpVUh/w7YIhg2Wp4NBupBeP0ps5MQL5uElXK5tKGsqJDMGawSQDVfEUgbEJvdTYOVlo+1v7w9w/G8l4YirM1sHIq3obnHk+BW0cr9kXDACnbLRj0mM0B0KDZWMHVe1NBMCSXHGD9/4pHHDJASUnffHuo9qPMqYLnL5Pm8XTz1LUpuiokElMyFHl7EyC1n2H7Mx5PCdlDHd62b09u1/7ciifEejCtFp5dC0L0y7Tmed7BK4rprMsfzrkIZiGRyOVpSjyo0ssTw6h1MNTiuE31eZpouIIjigzWEnkQwvrx5KfJYPNuC7kMguVktU0lDGFIZckGkNsy1YzZXM74JfJI3nzeJMkk9y/Dkpb2S/StFkFZ9SA9C5Am5vjO1T4ELU7kSse3G9wT+Pq4arsu88VUEPkLVC3oaQ6mNPBPzjp1V/yUKJ58BPatJV3n1Z8a/OP7iS/FAw/o8Lm+V59CQgUQuJySbdw7kOL3u0wR3DvTvikKvqbtsjgzMGSoK27XdBgHdE3gXJxmG/TCjGsKynmtg6mxzijAZ1azZ/2L/zxcgMTSTFek5ni4ARF2RAAYVuH+qnrJEoJl0zLzbEkDZBRKINzz+EE2tamFSoZkbf0Fp3uOQqtatyJI/ZtIvLTCX41g8Vcuh

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

%LICENSE%
LGPL

%ARCH%
armv7h

%BUILDDATE%
1449800402

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

