%FILENAME%
cryptominisat2-2.9.11-1-aarch64.pkg.tar.xz

%NAME%
cryptominisat2

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

%ISIZE%
1219584

%MD5SUM%
07099cda36b77b9d45bcf29b7d0bb355

%SHA256SUM%
a289045daa1131a9a1c0c347e31593ab36d081e6b6789fd609f5d892095b9a24

%PGPSIG%
iQIcBAABCAAGBQJYE+KPAAoJEHcZPxUr2+am1pEP/RUurWskaDAPqOFlGSqfTgjvdwFYYdy0x8CFxhAVwadxp0Tu9JVtjxcpMa3YP3nMjKt1lUF2v0XvHcZTO1CiEv7rKM2hx6EsfyzRT6yFSkrOpi+4qJCnFfI7LO6MxiXEdGJA9bp/kz8fkYdtyYbLCwuXRCOu4uobYPyLeJviELUh1E5H2b1i7/8Sktjsz7Zh6R5EZxjvKEZxCMtNq+/LsnTdN8f8o0oqAMoeFu15K4w2l42WUzj4j0ogVtDKbGLo3/ZYFuaUZCcVtua8AsBk/4Jc/JW270Ow5PnM7/FLxyTAuUcWzCWmB0qaiI3pPw1WvxyPxn7cqfEfs2n/njkxNhVf93Tszu5azo9fgVZpvYJuJPFSmQaqMhSh6QcXwn5qsXKwX4f0Hep3W0jnFHhgvGyCyrU3ah10aviWQ0fPsGOl8Y7E4+woORQrpPybW/qEtSrAL1pLiKdY4HemZIVTl2Zv/sMc+/lrKawQa+oLhHM9Ve9WlvXwM+4zLG/de6sVw77pITmk3Qjh3Jsa4oWvXyAGsOcDN5GQQfWJ75nfuuInuFAujI3DJGF97a3QmoIwYKEklg3aW/3vmqts5F0cd+3POT10gaEyrv84nSnRCODKrcL3XeEeAmvJX25r5La/kz0Kw6KXSWcqlM0+kLIF89yhQg0u88PwY4NaVwFx8qS4

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

%LICENSE%
LGPL

%ARCH%
aarch64

%BUILDDATE%
1477698186

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

%REPLACES%
cryptominisat<3

