%FILENAME%
cryptominisat-2.9.9-1-arm.pkg.tar.xz

%NAME%
cryptominisat

%VERSION%
2.9.9-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%
300060

%ISIZE%
1241088

%MD5SUM%
d0f4290c78b23d2ccf5828e4a68693ce

%SHA256SUM%
7a34dc62e65539a47afc075e887e5c6a5b5b1c2b96888635aea2edf047b0a0d8

%PGPSIG%
iQIcBAABCAAGBQJUpg5TAAoJEHcZPxUr2+am4LQP/19FllwvB1KmNtjY4D8Wf3WCJ4CIuhBC90sxNy7fBp3gjUUh+5tjMChGIUquUEA8gQsmhhw9AUGRzA2wMae9PhZ0ksF08hAOOin1rSQPBOhbHHfwTzkP+LcxZ8r8rXNoiMtBgfLXWUlGoKybrF8Jiw6jZs6TgQaH+uPrGL/Nluh9Wstn/qlfgYcBEH/Uh+Gu7NXBSV+E6znnEizdbRdYCIOXZ4m7nYlinZvgazO6e3zuY7mSifLYfGgla1uLK8BQIKLcbM5SMSFNr2u6wKWFQmLnNmaB7PRDUMkI+cu7wo+Tl0q9O/Uv0tex22+9iJ87Swugt47xSP8WYqBAacqfyRzif3Dc+nP2vPzn9RJSFEkH112Ryd6TqA3pQDd61sDdPG6DfeDwZJdH/yHT9lWztRD1fEcYu6886zkV4ExI4kJ21PGCiC1HT2u91UvjmE4ym3ZCRBPDUSsFFbHa8Wa7z7E3OW2OgGD2BycHpiVASS1EVaUh4rlStN4Zd0Hx9H4pYFYXbBd1ts6FHxqDcUJvJ6x4+Q5ac03N1x07ap9LEXi4cszkrauPDjs11olWGCS67CMvZs1XtcgCowdFrhXVu37Fj/ADynGodvbRn9aUIVnJwQrrk7+cBW3/PI09kFyUAJTYjkKiEqx/8odDvumH50cQKJTd/bTNvOf1DbbDaWuF

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

%LICENSE%
LGPL

%ARCH%
arm

%BUILDDATE%
1420168784

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

