%FILENAME%
cryptominisat-2.9.10-1-i686.pkg.tar.xz

%NAME%
cryptominisat

%VERSION%
2.9.10-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%
405664

%ISIZE%
1347584

%MD5SUM%
e185bb4d769a69c0b6a2f980eda5c8d1

%SHA256SUM%
19668feb24ba284ce7d47b89ae71cd6461e61370c0b4ea742da83b8a733d8d3e

%PGPSIG%
iQEcBAABCAAGBQJV4iFvAAoJEHpOdgldilLkHQwH/2TCXDxjBJob3nbsBG2Xc8tY1Pb+dv/v59VrauHluTaIKWkFWLI1T9Hc9L+XhdsJW0n7QwuPZIG/IZmPKJzuXT/LLqmCj19wciYNmQVwQw8ll3zLOO+E6zTIZC2D26dZBRRm0RGSNDFjVDf8usLIMLB+u5fwUvhy7mLfBxOoI5qqvoejydwYBGnal1fBh6y6ksRWXSCDP6Hd9M+2+8ukG1JSSt66pszEI9xCjQyvavvSdfo+J3cdbsLIoL0HzHWx/1mC1DbHg1lWpBJTJDp3l+SP7SEXj/d6y1fkBthaiveyIkunieqwX6CaR5yfvetNILvcW8uhX5qFWMUlP3neEZg=

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

%LICENSE%
LGPL

%ARCH%
i686

%BUILDDATE%
1440882989

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

