%FILENAME%
cryptominisat-2.9.11-1-arm.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%
295708

%ISIZE%
1204224

%MD5SUM%
307f21979cd9b6bc025daf79199f3f76

%SHA256SUM%
76d0997a74be16f8b57cfa02009cce15f3b30b2fe8d4a5f94cf4919ede87ce34

%PGPSIG%
iQIcBAABCAAGBQJXDLvuAAoJEHcZPxUr2+amxtwQALZngwSvJ1SC2Pc+L2dIxrVSRzN2Kx/AdAMXwBaf/x1fp8qPd+PLNDWbUrvvZxAx616A1WQXiBOfxS7xPscwqxnpXY9I/ymmiqzrxfZYrSKs7us4vQFtZfDr3KL3UNPlKX8ytv28n8VW7FSBQjWLdm9MgUvDTZNQ6zLlg6tbJIm/C3jSEzUXdGYzkgdxE/lZiIfesfJdQNvODowjAAe9jFPJXMAewaFuXXwIEbmdfO8eAw6b7H1Pcom/erZqtG6J78N/VRwPfGNGBnfBreDrbTLu6OKU6pgULJuBrDgmAhNQph9aI1fQg0YML6X5JaAxTeGRigGSy/5ft04LP+Q7EkYKdVClFB8DDIHuj8PX5zs6xjrhwiKoQT4alH6XP+NEvBnCT6oesOo76KtyVHzpANBSS/C7TucZq8VUWxLckpD42KaUGZZs19PZkA5SKe91aNPtkRmdfCWIiNX9KYmMBGNvYD3npfVZmOjn7MYNRRB8priIwQUWCAr4qyWCenR3PGnnOu2UUlE1/Y4F1Ko2ciQTDe8JgwmefOO7tnF7dGobWXk1Y5eEhpTkt4WCzCepdaE/HcLcdGdUFNGxunlZjT4Y02Q5Xr02Zd4xXXs3vI5ELiPIXW7SnFPweCQ7PtEFzbBmSYi/VcaFdZWSD2728c6TbCO4WQSxu2qsz7mTEfG/

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

%LICENSE%
LGPL

%ARCH%
arm

%BUILDDATE%
1460452330

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

